efi_phys_to_kva
efi_systbl = efi_phys_to_kva(efi_systbl_phys);
rtdm = efi_phys_to_kva((uintptr_t)efi_runtime);
((uintptr_t)((struct efi_rt *)efi_phys_to_kva((uintptr_t) \
void *efi_phys_to_kva(vm_paddr_t);