Symbol: pr_do_mappage
usr/src/uts/common/os/watchpoint.c
346
return (pr_do_mappage(addr, size, 1, rw, kernel));
usr/src/uts/common/os/watchpoint.c
357
(void) pr_do_mappage(addr, size, 0, rw, kernel);