Symbol: pmap_md_kernel_vaddr_p
sys/arch/aarch64/aarch64/pmap_machdep.c
365
if (pmap_md_kernel_vaddr_p(va)) {
sys/arch/aarch64/include/pmap_machdep.h
104
bool pmap_md_kernel_vaddr_p(vaddr_t);
sys/uvm/pmap/pmap.c
1849
if (pmap_md_kernel_vaddr_p(va)) {