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