Symbol: pmap_kremove_pg
sys/arch/arm64/arm64/pmap.c
812
pmap_kremove_pg(vaddr_t va)
sys/arch/riscv64/riscv64/pmap.c
751
pmap_kremove_pg(vaddr_t va)