hat_page_is_mapped
if (hat_page_is_mapped(pp) == 0) {
ASSERT(!hat_page_is_mapped(tpp));
ASSERT(!hat_page_is_mapped(pp));
ASSERT(!hat_page_is_mapped(pp));
ASSERT(!hat_page_is_mapped(pp));
if ((flags & KPD_WRITEDIRTY) && !hat_page_is_mapped(pp) &&
if (hat_page_is_mapped(opp)) {
if (!hat_ismod(opp) && !hat_page_is_mapped(opp))
if (!hat_page_is_mapped(pp))
hat_page_is_mapped(pp)) {
ASSERT(!hat_page_is_mapped(
ASSERT(!hat_page_is_mapped(ppa[i]));
ASSERT(!hat_page_is_mapped(ppa[pg_idx]));
ASSERT(!hat_page_is_mapped(pp));
ASSERT(!hat_page_is_mapped(pp));
ASSERT(!hat_page_is_mapped(pp));
ASSERT(!hat_page_is_mapped(npp));
if (hat_page_is_mapped(pp) || pp->p_lckcnt != 0 || pp->p_cowcnt != 0 ||
if (hat_page_is_mapped(tpp) || tpp->p_lckcnt != 0 ||
ASSERT(!hat_page_is_mapped(pp));
if (hat_page_is_mapped(pp)) {
ASSERT(!hat_page_is_mapped(pp));
ASSERT(!hat_page_is_mapped(tpp));
ASSERT(!hat_page_is_mapped(tpp));
if (!hat_page_is_mapped(pp) && !IS_SWAPVP(pp->p_vnode) &&
!hat_page_is_mapped(pp)) {
ASSERT(!hat_page_is_mapped(tpp));
ASSERT(!hat_page_is_mapped(pp));
ASSERT(!hat_page_is_mapped(pp));
} else if (flags & B_FREE ||!hat_page_is_mapped(pp)) {
if (hat_page_is_mapped(pp)) {
ASSERT(!hat_page_is_mapped(pp));
ASSERT(!hat_page_is_mapped(npp));
ASSERT(!hat_page_is_mapped(pp));