Lines Matching refs:vcpu_idx
156 static void too_many_idle_pages(long idle_pages, long total_pages, int vcpu_idx) in too_many_idle_pages() argument
160 if (vcpu_idx >= 0) in too_many_idle_pages()
161 snprintf(prefix, 18, "vCPU%d: ", vcpu_idx); in too_many_idle_pages()
175 int vcpu_idx = vcpu_args->vcpu_idx; in pageidle_mark_vcpu_memory_idle() local
185 if (overlap_memory_access && vcpu_idx) in pageidle_mark_vcpu_memory_idle()
217 vcpu_idx, no_pfn, pages); in pageidle_mark_vcpu_memory_idle()
229 overlap_memory_access ? -1 : vcpu_idx); in pageidle_mark_vcpu_memory_idle()
328 int vcpu_idx = vcpu_args->vcpu_idx; in vcpu_thread_main() local
342 vcpu_last_completed_iteration[vcpu_idx] = current_iteration; in vcpu_thread_main()
346 static void spin_wait_for_vcpu(int vcpu_idx, int target_iteration) in spin_wait_for_vcpu() argument
348 while (READ_ONCE(vcpu_last_completed_iteration[vcpu_idx]) != in spin_wait_for_vcpu()