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