Symbol: pmap_md_kernel_vaddr_to_paddr
sys/arch/aarch64/include/pmap_machdep.h
105
paddr_t pmap_md_kernel_vaddr_to_paddr(vaddr_t);
sys/uvm/pmap/pmap.c
1850
pa = pmap_md_kernel_vaddr_to_paddr(va);