Searched refs:still_idle (Results 1 – 1 of 1) sorted by relevance
133 uint64_t still_idle = 0; in mark_vcpu_memory_idle() local158 still_idle++; in mark_vcpu_memory_idle()186 if (still_idle >= pages / 10) { in mark_vcpu_memory_idle()190 vcpu_idx, still_idle, pages); in mark_vcpu_memory_idle()194 vcpu_idx, still_idle, pages); in mark_vcpu_memory_idle()