Symbol: vtopte
sys/amd64/amd64/pmap.c
1616
vtopte(vm_offset_t va)
sys/i386/i386/pmap.c
187
#define vtopte(va) (PTmap + i386_btop(va))