Lines Matching defs:initfile
374 initfile = codecs.open (os.path.join (cipher_dir_out, "init.c"), "w", "utf-8")
376 initfile.write ("extern void grub_%s_init (void);\n" % module)
377 initfile.write ("extern void grub_%s_fini (void);\n" % module)
378 initfile.write ("\n")
379 initfile.write ("void\n")
380 initfile.write ("grub_gcry_init_all (void)\n")
381 initfile.write ("{\n")
383 initfile.write (" grub_%s_init ();\n" % module)
384 initfile.write ("}\n")
385 initfile.write ("\n")
386 initfile.write ("void\n")
387 initfile.write ("grub_gcry_fini_all (void)\n")
388 initfile.write ("{\n")
390 initfile.write (" grub_%s_fini ();\n" % module)
391 initfile.write ("}\n")
392 initfile.close ()