Symbol: pmap_kpted_alloc
sys/arch/arm64/arm64/pmap.c
1148
pmap_kpted_alloc(void)
sys/arch/riscv64/riscv64/pmap.c
1070
pmap_kpted_alloc(void)