Symbol: vtomach
sys/arch/x86/include/pmap_private.h
369
paddr_t vtomach(vaddr_t);
sys/arch/x86/include/pmap_private.h
370
#define vtomfn(va) (vtomach(va) >> PAGE_SHIFT)
sys/arch/x86/x86/pmap.c
5155
vtomach((vaddr_t)ptep), npte, domid, flags);