Symbol: vtomfn
sys/arch/xen/x86/hypervisor_machdep.c
543
l3_p2m_page[i/fpp] = vtomfn(
sys/arch/xen/x86/hypervisor_machdep.c
553
l2_p2m_page[i] = vtomfn((vaddr_t)
sys/arch/xen/x86/hypervisor_machdep.c
558
vtomfn((vaddr_t)l3_p2m_page);