Searched refs:no_pfn (Results 1 – 1 of 1) sorted by relevance
136 uint64_t no_pfn = 0; in mark_vcpu_memory_idle() local155 no_pfn++; in mark_vcpu_memory_idle()171 TEST_ASSERT(no_pfn < pages / 100, in mark_vcpu_memory_idle()173 vcpu_idx, no_pfn, pages); in mark_vcpu_memory_idle()