3411 	int running, hostcpu;  in vmx_getreg()  local
3415 	running = vcpu_is_running(vcpu->vcpu, &hostcpu);  in vmx_getreg()
3416 	if (running && hostcpu != curcpu)  in vmx_getreg()
3440 	int error, hostcpu, running, shadow;  in vmx_setreg()  local
3446 	running = vcpu_is_running(vcpu->vcpu, &hostcpu);  in vmx_setreg()
3447 	if (running && hostcpu != curcpu)  in vmx_setreg()
3509 	int hostcpu, running;  in vmx_getdesc()  local
3513 	running = vcpu_is_running(vcpu->vcpu, &hostcpu);  in vmx_getdesc()
3514 	if (running && hostcpu != curcpu)  in vmx_getdesc()
3524 	int hostcpu, running;  in vmx_setdesc()  local
3528 	running = vcpu_is_running(vcpu->vcpu, &hostcpu);  in vmx_setdesc()
3529 	if (running && hostcpu != curcpu)  in vmx_setdesc()
3992 vmx_post_intr(struct vlapic *vlapic, int hostcpu)  in vmx_post_intr()  argument
3995 	ipi_cpu(hostcpu, pirvec);  in vmx_post_intr()
4149 	int err, run, hostcpu;  in vmx_vcpu_snapshot()  local
4156 	run = vcpu_is_running(vcpu->vcpu, &hostcpu);  in vmx_vcpu_snapshot()
4157 	if (run && hostcpu != curcpu) {  in vmx_vcpu_snapshot()
4260 	int error, running, hostcpu;  in vmx_restore_tsc()  local
4265 	running = vcpu_is_running(vcpu->vcpu, &hostcpu);  in vmx_restore_tsc()
4266 	if (running && hostcpu != curcpu) {  in vmx_restore_tsc()