Lines Matching +full:eq +full:- +full:level
1 // SPDX-License-Identifier: GPL-2.0-or-later
4 * mdp - make dummy policy
26 printf("usage: %s [-m] policy_file context_file\n", name); in usage()
53 if (argc==4 && strcmp(argv[1], "-m") == 0) { in main()
86 fprintf(fout, "class %s\n", map->name); in main()
88 for (j = 0; map->perms[j]; j++) in main()
89 fprintf(fout, "\t%s\n", map->perms[j]); in main()
101 fprintf(fout, "level s0:c0.c1;\n"); in main()
102 fprintf(fout, "level s1:c0.c1;\n"); in main()
108 fprintf(fout, "mlsconstrain %s {\n", map->name); in main()
109 for (j = 0; map->perms[j]; j++) in main()
110 fprintf(fout, "\t%s\n", map->perms[j]); in main()
113 * single-level (l2 eq h2), and that the subject in main()
114 * level dominate the object level (h1 dom h2) in main()
117 fprintf(fout, "} (l2 eq h2 and h1 dom h2);\n\n"); in main()
134 fprintf(fout, " level %s range %s - %s", SYSTEMLOW, in main()
236 * we list the filesystem types for which per-file labeling is in main()