efi_systbl
struct efi_systbl *systbl;
efi_systbl = efi_phys_to_kva(efi_systbl_phys);
if (efi_systbl == NULL || efi_systbl->st_hdr.th_sig != EFI_SYSTBL_SIG) {
efi_systbl = NULL;
efi_cfgtbl = (efi_systbl->st_cfgtbl == 0) ? NULL :
(struct efi_cfgtbl *)efi_systbl->st_cfgtbl;
efi_runtime = (efi_systbl->st_rt == 0) ? NULL :
(struct efi_rt *)efi_systbl->st_rt;
efi_systbl = NULL;
if (efi_cfgtbl == NULL || efi_systbl == NULL)
count = efi_systbl->st_entries;
static struct efi_systbl *efi_systbl;