Home	Sort by: relevance | last modified time | path

Full Search in project(s): src xsrc Definition Symbol File Path History   | | Help

    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
/src/sys/arch/arm/include/arm32/
pmap.h	447 vtopte(vaddr_t va) function

Completed in 20 milliseconds

Indexes created Tue Feb 24 19:07:35 UTC 2026