Symbol: efi_getva
sys/arch/x86/x86/efi_machdep.c
189
va = efi_getva(pa);
sys/arch/x86/x86/efi_machdep.c
256
va = efi_getva(pa);
sys/arch/x86/x86/efi_machdep.c
352
va = efi_getva(pa);
sys/arch/x86/x86/efi_machdep.c
60
static vaddr_t efi_getva(paddr_t);