Symbol: vtopde
sys/amd64/amd64/pmap.c
3852
pde = *vtopde(va);
sys/amd64/amd64/pmap.c
3989
KASSERT((*vtopde(va) & X86_PG_PS) == 0,
sys/amd64/amd64/pmap.c
9587
pmap_invalidate_page(pmap, (vm_offset_t)vtopde(va));