139 	int		hostcpu;	/* (o) vcpu's current host cpu */  member
395 		vcpu->hostcpu = NOCPU;  in vcpu_init()
837 	int hostcpu, state;  in vm_mem_allocated()  local
838 	state = vcpu_get_state(vm, vcpuid, &hostcpu);  in vm_mem_allocated()
839 	KASSERT(state == VCPU_RUNNING && hostcpu == curcpu,  in vm_mem_allocated()
840 	    ("%s: invalid vcpu state %d/%d", __func__, state, hostcpu));  in vm_mem_allocated()
1495 		KASSERT(vcpu->hostcpu == curcpu, ("curcpu %d and hostcpu %d "  in vcpu_set_state_locked()
1496 		    "mismatch for running vcpu", curcpu, vcpu->hostcpu));  in vcpu_set_state_locked()
1498 		KASSERT(vcpu->hostcpu == NOCPU, ("Invalid hostcpu %d for a "  in vcpu_set_state_locked()
1499 		    "vcpu that is not running", vcpu->hostcpu));  in vcpu_set_state_locked()
1527 		vcpu->hostcpu = curcpu;  in vcpu_set_state_locked()
1529 		vcpu->hostcpu = NOCPU;  in vcpu_set_state_locked()
3249 vcpu_get_state(struct vm *vm, int vcpuid, int *hostcpu)  in vcpu_get_state()  argument
3261 	if (hostcpu != NULL)  in vcpu_get_state()
3262 		*hostcpu = vcpu->hostcpu;  in vcpu_get_state()
3571 	int hostcpu;  in vcpu_notify_event_locked()  local
3575 	hostcpu = vcpu->hostcpu;  in vcpu_notify_event_locked()
3577 		KASSERT(hostcpu != NOCPU, ("vcpu running on invalid hostcpu"));  in vcpu_notify_event_locked()
3578 		if (hostcpu != curcpu) {  in vcpu_notify_event_locked()
3580 				vlapic_post_intr(vcpu->vlapic, hostcpu);  in vcpu_notify_event_locked()
3582 				poke_cpu(hostcpu);  in vcpu_notify_event_locked()
3593 		KASSERT(hostcpu == NOCPU, ("vcpu state %d not consistent "  in vcpu_notify_event_locked()
3594 		    "with hostcpu %d", vcpu->state, hostcpu));  in vcpu_notify_event_locked()