Lines Matching refs:hostcpu
81 int hostcpu; /* host cpuid this vcpu last ran on */ member
291 vcpu->hostcpu = NOCPU; in vcpu_alloc()
1028 int hostcpu; in vcpu_notify_event_locked() local
1030 hostcpu = vcpu->hostcpu; in vcpu_notify_event_locked()
1032 KASSERT(hostcpu != NOCPU, ("vcpu running on invalid hostcpu")); in vcpu_notify_event_locked()
1033 if (hostcpu != curcpu) { in vcpu_notify_event_locked()
1034 ipi_cpu(hostcpu, vmm_ipinum); in vcpu_notify_event_locked()
1044 KASSERT(hostcpu == NOCPU, ("vcpu state %d not consistent " in vcpu_notify_event_locked()
1045 "with hostcpu %d", vcpu->state, hostcpu)); in vcpu_notify_event_locked()
1130 KASSERT(vcpu->hostcpu == curcpu, ("curcpu %d and hostcpu %d " in vcpu_set_state_locked()
1131 "mismatch for running vcpu", curcpu, vcpu->hostcpu)); in vcpu_set_state_locked()
1133 KASSERT(vcpu->hostcpu == NOCPU, ("Invalid hostcpu %d for a " in vcpu_set_state_locked()
1134 "vcpu that is not running", vcpu->hostcpu)); in vcpu_set_state_locked()
1162 vcpu->hostcpu = curcpu; in vcpu_set_state_locked()
1164 vcpu->hostcpu = NOCPU; in vcpu_set_state_locked()
1245 vcpu_get_state(struct vcpu *vcpu, int *hostcpu) in vcpu_get_state() argument
1251 if (hostcpu != NULL) in vcpu_get_state()
1252 *hostcpu = vcpu->hostcpu; in vcpu_get_state()