Symbol: pmap_md_kernel_vaddr_p
sys/arch/aarch64/aarch64/pmap_machdep.c
342
pmap_md_kernel_vaddr_p(vaddr_t va)
sys/arch/mips/include/pmap.h
167
pmap_md_kernel_vaddr_p(vaddr_t va)
sys/arch/powerpc/include/booke/pmap.h
146
pmap_md_kernel_vaddr_p(vaddr_t va)
sys/arch/riscv/include/pmap.h
190
pmap_md_kernel_vaddr_p(vaddr_t va)