PAGE_COUNTERS
if (PAGE_COUNTERS(mnode, new_szc, idx) == full)
if (PAGE_COUNTERS(mnode, r, idx) != full)
if (PAGE_COUNTERS(mnode, r, idx) == full) {
if (PAGE_COUNTERS(mnode, r, idx) == full) {
cnt = PAGE_COUNTERS(mnode, r, idx);
cnt = PAGE_COUNTERS(mnode, r, idx);
ASSERT(PAGE_COUNTERS(mnode, r, idx) < FULL_REGION_CNT(r));
if (++PAGE_COUNTERS(mnode, r, idx) != FULL_REGION_CNT(r)) {
ASSERT(PAGE_COUNTERS(mnode, r, idx) > 0);
if (--PAGE_COUNTERS(mnode, r, idx) != FULL_REGION_CNT(r) - 1) {