Symbol: vtopte
sys/arch/arm/include/arm32/pmap.h
509
vtopte(vaddr_t va)
sys/arch/x86/include/pmap_private.h
318
vtopte(vaddr_t va)