Lines Matching refs:vcpu_idx
129 int vcpu_idx = vcpu_args->vcpu_idx;
139 if (overlap_memory_access && vcpu_idx)
171 vcpu_idx, no_pfn, pages);
190 vcpu_idx, still_idle, pages);
194 vcpu_idx, still_idle, pages);
230 int vcpu_idx = vcpu_args->vcpu_idx;
244 vcpu_last_completed_iteration[vcpu_idx] = current_iteration;
248 static void spin_wait_for_vcpu(int vcpu_idx, int target_iteration)
250 while (READ_ONCE(vcpu_last_completed_iteration[vcpu_idx]) !=