Symbol: pmap_kremove_local
sys/arch/amd64/amd64/machdep.c
1254
pmap_kremove_local(dumpspace, n);
sys/arch/x86/include/pmap.h
119
void pmap_kremove_local(vaddr_t, vsize_t);