amd64/vmm/vmm.c

93 	struct mtx 	mtx;		/* (o) protects 'state' and 'hostcpu' */
95 	int		hostcpu;	/* (o) vcpu's host cpu */
283 		vcpu->hostcpu = NOCPU;
576 	int hostcpu, state;
577 	state = vcpu_get_state(vm, vcpuid, &hostcpu);
578 	KASSERT(state == VCPU_RUNNING && hostcpu == curcpu,
579 	    ("%s: invalid vcpu state %d/%d", __func__, state, hostcpu));
1128 		KASSERT(vcpu->hostcpu == curcpu, ("curcpu %d and hostcpu %d "
1129 		    "mismatch for running vcpu", curcpu, vcpu->hostcpu));
1131 		KASSERT(vcpu->hostcpu == NOCPU, ("Invalid hostcpu %d for a "
1132 		    "vcpu that is not running", vcpu->hostcpu));
1163 		vcpu->hostcpu = curcpu;
1165 		vcpu->hostcpu = NOCPU;
2240 vcpu_get_state(struct vm *vm, int vcpuid, int *hostcpu)
2252 	if (hostcpu != NULL)
2253 		*hostcpu = vcpu->hostcpu;
2332 	int hostcpu;
2334 	hostcpu = vcpu->hostcpu;
2336 		KASSERT(hostcpu != NOCPU, ("vcpu running on invalid hostcpu"));
2337 		if (hostcpu != curcpu) {
2339 				vlapic_post_intr(vcpu->vlapic, hostcpu,
2342 				ipi_cpu(hostcpu, vmm_ipinum);
2353 		KASSERT(hostcpu == NOCPU, ("vcpu state %d not consistent "
2354 		    "with hostcpu %d", vcpu->state, hostcpu));