HomeSort by: relevance | last modified time | path
    Searched defs:efi_getva (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/x86/x86/
efi_machdep.c 60 static vaddr_t efi_getva(paddr_t);
101 efi_getva(paddr_t pa) function
117 * Free a virtual address (VA) allocated using efi_getva().
189 va = efi_getva(pa);
256 va = efi_getva(pa);
352 va = efi_getva(pa);
efi_machdep.c 60 static vaddr_t efi_getva(paddr_t);
101 efi_getva(paddr_t pa) function
117 * Free a virtual address (VA) allocated using efi_getva().
189 va = efi_getva(pa);
256 va = efi_getva(pa);
352 va = efi_getva(pa);

Completed in 31 milliseconds