vtopte            479 arch/i386/i386/pmapae.c #define	vtopte(VA)	(PTE_BASE + atop((vaddr_t)VA))
vtopte            193 arch/i386/include/pmap.h #define vtopte(VA)	(PTE_BASE + atop(VA))