Symbol: pmap_kremove1
sys/arch/x86/x86/pmap.c
1139
pmap_kremove1(sva, len, false);
sys/arch/x86/x86/pmap.c
1152
pmap_kremove1(sva, len, true);