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

  /src/sys/arch/x86/include/
pmap_private.h 309 * vtopte: return a pointer to the PTE mapping a VA, works only for
318 vtopte(vaddr_t va) function in typeref:typename:pt_entry_t * __unused
  /src/sys/arch/arm/include/arm32/
pmap.h 447 vtopte(vaddr_t va) function in typeref:typename:pt_entry_t *

Completed in 14 milliseconds