Lines Matching defs:hostcpu
3407 int running, hostcpu;
3411 running = vcpu_is_running(vcpu->vcpu, &hostcpu);
3412 if (running && hostcpu != curcpu)
3436 int error, hostcpu, running, shadow;
3442 running = vcpu_is_running(vcpu->vcpu, &hostcpu);
3443 if (running && hostcpu != curcpu)
3505 int hostcpu, running;
3509 running = vcpu_is_running(vcpu->vcpu, &hostcpu);
3510 if (running && hostcpu != curcpu)
3520 int hostcpu, running;
3524 running = vcpu_is_running(vcpu->vcpu, &hostcpu);
3525 if (running && hostcpu != curcpu)
3988 vmx_post_intr(struct vlapic *vlapic, int hostcpu)
3991 ipi_cpu(hostcpu, pirvec);
4145 int err, run, hostcpu;
4152 run = vcpu_is_running(vcpu->vcpu, &hostcpu);
4153 if (run && hostcpu != curcpu) {
4256 int error, running, hostcpu;
4261 running = vcpu_is_running(vcpu->vcpu, &hostcpu);
4262 if (running && hostcpu != curcpu) {