efi_write
if ((i = efi_write(fd, efi)) != 0) {
if (efi_write(cur_file, vtoc64) != 0) {
if (efi_write(cur_file, vtoc64) != 0) {
if (efi_write(fd, vtoc64) != 0) {
rval = efi_write(fd, efi_label);
if (efi_write(fd, vtoc) != 0) {
extern int efi_write(int, struct dk_gpt *);