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