Searched defs:vtopte (Results 1 - 2 of 2) sorted by relevance
| /src/sys/arch/x86/include/ | ||
| H A D | pmap_private.h | 318 vtopte(vaddr_t va) function in typeref:typename:pt_entry_t * __unused |
| /src/sys/arch/arm/include/arm32/ | ||
| H A D | pmap.h | 447 vtopte(vaddr_t va) function in typeref:typename:pt_entry_t * |
Completed in 5 milliseconds