Symbol: rmptep
sys/arch/vax/vax/pmap.c
1345
rmptep(pts);
sys/arch/vax/vax/pmap.c
1540
rmptep((void *)g);
sys/arch/vax/vax/pmap.c
1557
rmptep((void *)g);