Lines Matching defs:hostcpu
103 struct mtx mtx; /* (o) protects 'state' and 'hostcpu' */
106 int hostcpu; /* (o) vcpu's host cpu */
377 vcpu->hostcpu = NOCPU;
817 int hostcpu, state;
818 state = vcpu_get_state(vcpu, &hostcpu);
819 KASSERT(state == VCPU_RUNNING && hostcpu == curcpu,
820 ("%s: invalid vcpu state %d/%d", __func__, state, hostcpu));
1399 KASSERT(vcpu->hostcpu == curcpu, ("curcpu %d and hostcpu %d "
1400 "mismatch for running vcpu", curcpu, vcpu->hostcpu));
1402 KASSERT(vcpu->hostcpu == NOCPU, ("Invalid hostcpu %d for a "
1403 "vcpu that is not running", vcpu->hostcpu));
1434 vcpu->hostcpu = curcpu;
1436 vcpu->hostcpu = NOCPU;
2495 vcpu_get_state(struct vcpu *vcpu, int *hostcpu)
2501 if (hostcpu != NULL)
2502 *hostcpu = vcpu->hostcpu;
2645 int hostcpu;
2647 hostcpu = vcpu->hostcpu;
2649 KASSERT(hostcpu != NOCPU, ("vcpu running on invalid hostcpu"));
2650 if (hostcpu != curcpu) {
2652 vlapic_post_intr(vcpu->vlapic, hostcpu,
2655 ipi_cpu(hostcpu, vmm_ipinum);
2666 KASSERT(hostcpu == NOCPU, ("vcpu state %d not consistent "
2667 "with hostcpu %d", vcpu->state, hostcpu));