48 	FILE *fout;  in main()  local
55 	fout = fopen(argv[1], "w");  in main()
56 	if (!fout) {  in main()
62 	fprintf(fout, "/* This file is automatically generated.  Do not edit. */\n");  in main()
63 	fprintf(fout, "#ifndef _SELINUX_FLASK_H_\n#define _SELINUX_FLASK_H_\n\n");  in main()
68 		fprintf(fout, "#define SECCLASS_%-39s %2d\n", name, i+1);  in main()
72 	fprintf(fout, "\n");  in main()
80 			fprintf(fout, "#define SECINITSID_%-39s %2d\n", sidname, i);  in main()
84 	fprintf(fout, "\n#define SECINITSID_NUM %d\n", i-1);  in main()
85 	fprintf(fout, "\nstatic inline bool security_is_socket_class(u16 kern_tclass)\n");  in main()
86 	fprintf(fout, "{\n");  in main()
87 	fprintf(fout, "\tbool sock = false;\n\n");  in main()
88 	fprintf(fout, "\tswitch (kern_tclass) {\n");  in main()
97 			fprintf(fout, "\tcase SECCLASS_%s:\n", name);  in main()
100 	fprintf(fout, "\t\tsock = true;\n");  in main()
101 	fprintf(fout, "\t\tbreak;\n");  in main()
102 	fprintf(fout, "\tdefault:\n");  in main()
103 	fprintf(fout, "\t\tbreak;\n");  in main()
104 	fprintf(fout, "\t}\n\n");  in main()
105 	fprintf(fout, "\treturn sock;\n");  in main()
106 	fprintf(fout, "}\n");  in main()
108 	fprintf(fout, "\n#endif\n");  in main()
110 	if (fclose(fout) != 0) {  in main()
116 	fout = fopen(argv[2], "w");  in main()
117 	if (!fout) {  in main()
123 	fprintf(fout, "/* This file is automatically generated.  Do not edit. */\n");  in main()
124 	fprintf(fout, "#ifndef _SELINUX_AV_PERMISSIONS_H_\n#define _SELINUX_AV_PERMISSIONS_H_\n\n");  in main()
141 			fprintf(fout, "#define %s__%-*s 0x%08xU\n", name,  in main()
148 	fprintf(fout, "\n#endif\n");  in main()
150 	if (fclose(fout) != 0) {  in main()