Symbol: pmap_remove_kernel_pde
sys/amd64/amd64/pmap.c
6197
pmap_remove_kernel_pde(pmap, pdq, sva);
sys/i386/i386/pmap.c
2981
pmap_remove_kernel_pde(pmap, pdq, sva);