Lines Matching defs:ofd
41 FILE *ifd, *ofd;
48 ofd = stdout;
63 if ((optarg == 0) || (ofd = fopen(optarg, "w")) == 0)
69 fprintf(ofd, "#include <lib/libsa/stand.h>\n");
70 fprintf(ofd, "#include <lib/libkern/libkern.h>\n");
71 fprintf(ofd, "#include \"local.h\"\n");
72 fprintf(ofd, "uint8_t kernel_binary[");
74 fprintf(ofd, "%d];\n", total);
75 fprintf(ofd, "int kernel_binary_size = %d;\n", total);
77 fprintf(ofd, "] = {\n\t");
80 fprintf(ofd, "0x%02x, ", buf[i]);
82 fprintf(ofd, "\n\t");
86 fprintf(ofd, "\n};\nint kernel_binary_size = %d;\n", total);
96 if (ofd != stdout)
97 fclose(ofd);