fFreePagesCount
fFreePagesCount--;
fFreePagesCount++;
if (fFreePagesCount < kMaxFree32BitPagesCount) {
page_num_t fFreePagesCount;