FULL_REGION_CNT
int full = FULL_REGION_CNT(new_szc);
full = FULL_REGION_CNT(r);
full = FULL_REGION_CNT(r);
range = FULL_REGION_CNT(szc);
full = FULL_REGION_CNT(r);
ASSERT(PAGE_COUNTERS(mnode, r, idx) < FULL_REGION_CNT(r));
if (++PAGE_COUNTERS(mnode, r, idx) != FULL_REGION_CNT(r)) {
if (--PAGE_COUNTERS(mnode, r, idx) != FULL_REGION_CNT(r) - 1) {