efi_rt
struct efi_rt *rtdm;
(struct efi_rt *)efi_systbl->st_rt;
rtdm = (struct efi_rt *)efi_phys_to_kva((uintptr_t)efi_runtime);
((uintptr_t)((struct efi_rt *)efi_phys_to_kva((uintptr_t) \
static struct efi_rt *efi_runtime;