efi_systbl
struct efi_systbl *ST;
count = efi_systbl->st_entries;
static struct efi_systbl *efi_systbl;
efi_systbl = (struct efi_systbl *)IA64_PHYS_TO_RR7(systbl);
if (efi_systbl->st_hdr.th_sig != EFI_SYSTBL_SIG) {
efi_systbl = NULL;
efi_cfgtbl = (efi_systbl->st_cfgtbl == NULL) ? NULL :
(uint64_t)efi_systbl->st_cfgtbl);
efi_runtime = (efi_systbl->st_rt == NULL) ? NULL :
(struct efi_rt *)IA64_PHYS_TO_RR7((uint64_t)efi_systbl->st_rt);
struct efi_systbl efi_systab = {
struct efi_systbl *efi_getsystbl(void);
struct efi_systbl *
struct efi_systbl *systbl;
efi_systbl_va = (struct efi_systbl *) systbl32;
efi_systbl_va = (struct efi_systbl *) systbl64;
systbl = (struct efi_systbl *) va;
struct efi_systbl *systbl;
static struct efi_systbl *efi_systbl_va = NULL;
efi_exit_bs(struct efi_systbl *efi_systbl, void *efi_ih)
if (efi_systbl == NULL)
if (efi_systbl->st_hdr.th_sig != EFI_SYSTBL_SIG)
efi_bs = efi_systbl->st_bs;
struct efi_systbl *efi_systbl = NULL;
efi_systbl = (struct efi_systbl *)
efi_systbl = (struct efi_systbl *)
efi_exit_bs(efi_systbl, efi_ih);
efi_systbl->st_coutif->ei_outputstring(efi_systbl->st_coutif, \
__CTASSERT(sizeof(struct efi_systbl) == 120);
__CTASSERT(sizeof(struct efi_systbl) == 72);