efi_bs
struct efi_bs *efi_bs;
efi_bs = efi_systbl->st_bs;
if (efi_bs == NULL)
if (efi_bs->bs_hdr.th_sig != EFI_BS_SIG)
if (efi_bs->bs_allocatepool(EFI_MD_TYPE_DATA,
if (efi_bs->bs_getmemorymap(&bufsize, desc, &key, &size, &vers) == 0)
(void)efi_bs->bs_freepool((void *)desc);
if (efi_bs->bs_allocatepool(EFI_MD_TYPE_DATA,
if (efi_bs->bs_getmemorymap(&bufsize, desc, &key, &size, &vers) != 0)
if (efi_bs->bs_exitbootservices(efi_ih, key) != 0)