Searched defs:vtopte (Results 1 - 2 of 2) sorted by relevance
| /netbsd-current/sys/arch/x86/include/ | ||
| H A D | pmap_private.h | 318 vtopte(vaddr_t va) function |
| /netbsd-current/sys/arch/arm/include/arm32/ | ||
| H A D | pmap.h | 447 vtopte(vaddr_t va) function |
Completed in 173 milliseconds