140 static void die(const char * str, ...)  in die()  function
152 	die("Usage: build setup system zoffset.h image");  in usage()
300 		die("32-bit and 64-bit EFI entry points do not match\n");  in efi_stub_entry_update()
345 		die("Unable to open `%s': %m", fname);  in parse_zoffset()
348 		die("read-error on `zoffset.h'");  in parse_zoffset()
389 		die("Unable to write `%s': %m", argv[4]);  in main()
394 		die("Unable to open `%s': %m", argv[1]);  in main()
397 		die("read-error on `setup'");  in main()
399 		die("The setup must be at least 1024 bytes");  in main()
401 		die("Boot block hasn't got boot flag (0xAA55)");  in main()
422 		die("Unable to open `%s': %m", argv[2]);  in main()
424 		die("Unable to stat `%s': %m", argv[2]);  in main()
428 		die("Unable to mmap '%s': %m", argv[2]);  in main()
473 		die("Writing setup failed");  in main()
478 		die("Writing kernel failed");  in main()
484 			die("Writing padding failed");  in main()
490 		die("Writing CRC failed");  in main()
494 		die("Writing image failed");  in main()