Lines Matching refs:hostcpu
85 int hostcpu; /* host cpuid this vcpu last ran on */ member
191 vcpu->hostcpu = NOCPU; in vcpu_alloc()
732 int hostcpu; in vcpu_notify_event_locked() local
734 hostcpu = vcpu->hostcpu; in vcpu_notify_event_locked()
736 KASSERT(hostcpu != NOCPU, ("vcpu running on invalid hostcpu")); in vcpu_notify_event_locked()
737 if (hostcpu != curcpu) { in vcpu_notify_event_locked()
738 ipi_cpu(hostcpu, vmm_ipinum); in vcpu_notify_event_locked()
748 KASSERT(hostcpu == NOCPU, ("vcpu state %d not consistent " in vcpu_notify_event_locked()
749 "with hostcpu %d", vcpu->state, hostcpu)); in vcpu_notify_event_locked()
833 KASSERT(vcpu->hostcpu == curcpu, ("curcpu %d and hostcpu %d " in vcpu_set_state_locked()
834 "mismatch for running vcpu", curcpu, vcpu->hostcpu)); in vcpu_set_state_locked()
836 KASSERT(vcpu->hostcpu == NOCPU, ("Invalid hostcpu %d for a " in vcpu_set_state_locked()
837 "vcpu that is not running", vcpu->hostcpu)); in vcpu_set_state_locked()
865 vcpu->hostcpu = curcpu; in vcpu_set_state_locked()
867 vcpu->hostcpu = NOCPU; in vcpu_set_state_locked()
954 vcpu_get_state(struct vcpu *vcpu, int *hostcpu) in vcpu_get_state() argument
960 if (hostcpu != NULL) in vcpu_get_state()
961 *hostcpu = vcpu->hostcpu; in vcpu_get_state()