Symbol: pmap_kernel
sys/arm64/include/pmap.h
103
#define pmap_kernel() kernel_pmap
sys/riscv/include/pmap.h
93
#define pmap_kernel() kernel_pmap