Symbol: vtopte
sys/arch/arm/include/pmap.h
270
vtopte(vaddr_t va)
sys/arch/i386/i386/pmap.c
322
#define vtopte(VA) (PTE_BASE + atop((vaddr_t)VA))
sys/arch/i386/i386/pmapae.c
394
#define vtopte(VA) (PTE_BASE + atop((vaddr_t)VA))