Lines Matching refs:FIRST_PAGED_SPACE
5610 int paged_space_count = LAST_PAGED_SPACE - FIRST_PAGED_SPACE + 1;