PAGE_LOCKED
ASSERT(pp == NULL || PAGE_LOCKED(pp));
PAGE_LOCKED(pp) ||
ASSERT(PAGE_LOCKED(pp));
ASSERT(PAGE_LOCKED(pp));
ASSERT(PAGE_LOCKED(pp));
if (PP_ISKAS(pp) || PAGE_LOCKED(pp) || PP_ISFREE(pp) ||
ASSERT(PAGE_LOCKED(pp));
ASSERT((pp == NULL) || PAGE_LOCKED(pp));
ASSERT(PAGE_LOCKED(pp));
ASSERT(PAGE_LOCKED(pp));
ASSERT(PAGE_LOCKED(opp));
ASSERT(PAGE_LOCKED(ppa[i]));
ASSERT(PAGE_LOCKED(ppa[i]));
ASSERT(PAGE_LOCKED(*pplist));
ASSERT(PAGE_LOCKED(pp));
ASSERT(PAGE_LOCKED(opp));
ASSERT(pp == NULL || PAGE_LOCKED(pp) || panicstr);
ASSERT(PAGE_LOCKED(pp));
ASSERT(PAGE_LOCKED(pp));
ASSERT(PAGE_LOCKED(opp));
ASSERT(PAGE_LOCKED(npp));
ASSERT(PAGE_LOCKED(pp));
ASSERT(PAGE_LOCKED(pp));
ASSERT(PAGE_LOCKED(ppa[pg_idx]));
ASSERT(PAGE_LOCKED(ppa[pg_idx]));
ASSERT(PAGE_LOCKED(pp));
ASSERT(PAGE_LOCKED(repl));
ASSERT(PAGE_LOCKED(pp) && !PP_ISFREE(pp) &&
ASSERT(PAGE_LOCKED(ppa[i]));
ASSERT(PAGE_LOCKED(pp));
ASSERT(PAGE_LOCKED(pp) && page_iolock_assert(pp));
ASSERT((pp != NULL) && PAGE_LOCKED(pp));
if (PP_ISFREE(pp) || !PAGE_LOCKED(pp)) {
ASSERT(!PP_ISFREE(pp) && PAGE_LOCKED(pp));
ASSERT(!PP_ISFREE(pp) && PAGE_LOCKED(pp));
ASSERT(!PP_ISFREE(pp) && PAGE_LOCKED(pp));
(!PAGE_LOCKED(pp) && !PP_ISNORELOC(pp)))) {
ASSERT((pp != NULL) && PAGE_LOCKED(pp));
if (!PAGE_LOCKED(pp) && !PP_ISNORELOC(pp)) {
ASSERT(PAGE_LOCKED(pp) || panicstr);
if (pp == NULL || PAGE_LOCKED(pp) == 0) {
if (pp == NULL || PAGE_LOCKED(pp) == 0) {
ASSERT(PAGE_LOCKED(frompp));
ASSERT(PAGE_LOCKED(topp));
ASSERT(PAGE_LOCKED(pp));
if ((pp != NULL) && (!PAGE_LOCKED(pp))) { \
ASSERT(PAGE_LOCKED(pp));
ASSERT(PAGE_LOCKED(pp));
if (!PAGE_LOCKED(pp) && !PP_ISNORELOC(pp)) {
ASSERT(PAGE_LOCKED(pp));
if (!PAGE_LOCKED(pp) && !panicstr)
ASSERT(PAGE_LOCKED(pp));
ASSERT(PAGE_LOCKED(pp));
if (PAGE_LOCKED(pp) || PP_ISNORELOC(pp))
if (PAGE_LOCKED(pp) || PP_ISNORELOC(pp))
ASSERT(PAGE_LOCKED(pp));
ASSERT(pp == NULL || PAGE_LOCKED(pp));
if (!PAGE_LOCKED(pp) && pp->p_lckcnt == 0) {
ASSERT(PAGE_LOCKED(*pplist));
ASSERT(PAGE_LOCKED(dobj_p->dmao_obj.pp_obj.pp_pp));
ASSERT(PAGE_LOCKED(pplist[i]));
ASSERT(PAGE_LOCKED(pp));
ASSERT(fm_pp != NULL && PAGE_LOCKED(fm_pp));
ASSERT(to_pp != NULL && PAGE_LOCKED(to_pp));
ASSERT(PAGE_LOCKED(pp));
if (pp == NULL || PAGE_LOCKED(pp) == 0) {
ASSERT(PAGE_LOCKED(pp));
} else if (mseg == NULL || !PAGE_LOCKED(pp))
if (pp == NULL || PAGE_LOCKED(pp) == 0) {
ASSERT(PAGE_LOCKED(fm_pp));
ASSERT(PAGE_LOCKED(to_pp));
ASSERT(PAGE_LOCKED(pp));
if (pp == NULL || PAGE_LOCKED(pp) == 0) {
if (pp == NULL || PAGE_LOCKED(pp) == 0) {