page_io_locked
int page_io_locked(page_t *);
return (page_io_locked(pp));
if (!hat_ismod(pp) && !page_io_locked(pp)) {