Lines Matching defs:pages
10 * however the clear_young notifier can be triggered by marking a pages as idle
26 * 2. page_idle only operates on LRU pages. Newly allocated pages are not
33 * the TLB and the number of pages held in pagevecs are a small fraction of the
131 uint64_t pages = vcpu_args->pages;
148 for (page = 0; page < pages; page++) {
166 * Assumption: Less than 1% of pages are going to be swapped out from
169 TEST_ASSERT(no_pfn < pages / 100,
170 "vCPU %d: No PFN for %" PRIu64 " out of %" PRIu64 " pages.",
171 vcpu_idx, no_pfn, pages);
175 * might not be marked idle because the pages have not yet made it to an
183 * explicitly flush the TLB when aging SPTEs. As a result, more pages
186 if (still_idle >= pages / 10) {
189 "vCPU%d: Too many pages still idle (%lu out of %lu)",
190 vcpu_idx, still_idle, pages);
192 printf("WARNING: vCPU%d: Too many pages still idle (%lu out of %lu), "
194 vcpu_idx, still_idle, pages);