pr_do_mappage
return (pr_do_mappage(addr, size, 1, rw, kernel));
(void) pr_do_mappage(addr, size, 0, rw, kernel);