74 	fprintf(fd, "/* This file is automatically generated.");  in write_boot_policy()
75 	fprintf(fd, " Do not edit. */\n");  in write_boot_policy()
76 	fprintf(fd, "#include <linux/stddef.h>\n");  in write_boot_policy()
77 	fprintf(fd, "\nextern const char *const ipe_boot_policy;\n\n");  in write_boot_policy()
78 	fprintf(fd, "const char *const ipe_boot_policy =\n");  in write_boot_policy()
81 		fprintf(fd, "\tNULL;\n");  in write_boot_policy()
86 	fprintf(fd, "\t\"");  in write_boot_policy()
91 			fprintf(fd, "\\\"");  in write_boot_policy()
94 			fprintf(fd, "'");  in write_boot_policy()
97 			fprintf(fd, "\\n\"\n\t\"");  in write_boot_policy()
100 			fprintf(fd, "\\\\");  in write_boot_policy()
103 			fprintf(fd, "\\t");  in write_boot_policy()
106 			fprintf(fd, "\\?");  in write_boot_policy()
109 			fprintf(fd, "%c", buf[i]);  in write_boot_policy()
112 	fprintf(fd, "\";\n");  in write_boot_policy()