Symbol: efi_relva
sys/arch/x86/x86/efi_machdep.c
429
efi_relva(efi_systbl_pa, (vaddr_t) efi_systbl_va);
sys/arch/x86/x86/efi_machdep.c
61
static void efi_relva(paddr_t, vaddr_t);