Lines Matching refs:hostcpu
106 int hostcpu; /* (o) vcpu's host cpu */ member
356 vcpu->hostcpu = NOCPU; in vcpu_alloc()
1023 KASSERT(vcpu->hostcpu == curcpu, ("curcpu %d and hostcpu %d " in vcpu_set_state_locked()
1024 "mismatch for running vcpu", curcpu, vcpu->hostcpu)); in vcpu_set_state_locked()
1026 KASSERT(vcpu->hostcpu == NOCPU, ("Invalid hostcpu %d for a " in vcpu_set_state_locked()
1027 "vcpu that is not running", vcpu->hostcpu)); in vcpu_set_state_locked()
1058 vcpu->hostcpu = curcpu; in vcpu_set_state_locked()
1060 vcpu->hostcpu = NOCPU; in vcpu_set_state_locked()
2119 vcpu_get_state(struct vcpu *vcpu, int *hostcpu) in vcpu_get_state() argument
2125 if (hostcpu != NULL) in vcpu_get_state()
2126 *hostcpu = vcpu->hostcpu; in vcpu_get_state()
2269 int hostcpu; in vcpu_notify_event_locked() local
2271 hostcpu = vcpu->hostcpu; in vcpu_notify_event_locked()
2273 KASSERT(hostcpu != NOCPU, ("vcpu running on invalid hostcpu")); in vcpu_notify_event_locked()
2274 if (hostcpu != curcpu) { in vcpu_notify_event_locked()
2276 vlapic_post_intr(vcpu->vlapic, hostcpu, in vcpu_notify_event_locked()
2279 ipi_cpu(hostcpu, vmm_ipinum); in vcpu_notify_event_locked()
2290 KASSERT(hostcpu == NOCPU, ("vcpu state %d not consistent " in vcpu_notify_event_locked()
2291 "with hostcpu %d", vcpu->state, hostcpu)); in vcpu_notify_event_locked()