| /freebsd/sys/dev/vmm/ |
| H A D | vmm_vm.c | 121 KASSERT(vcpu->hostcpu == curcpu, ("curcpu %d and hostcpu %d " in vcpu_set_state_locked()
122 "mismatch for running vcpu", curcpu, vcpu->hostcpu)); in vcpu_set_state_locked()
124 KASSERT(vcpu->hostcpu == NOCPU, ("Invalid hostcpu %d for a " in vcpu_set_state_locked()
125 "vcpu that is not running", vcpu->hostcpu)); in vcpu_set_state_locked()
153 vcpu->hostcpu = curcpu; in vcpu_set_state_locked()
155 vcpu->hostcpu = NOCPU; in vcpu_set_state_locked()
266 vcpu_get_state(struct vcpu *vcpu, int *hostcpu) in vcpu_get_state() argument
272 if (hostcpu != NULL) in vcpu_get_state()
273 *hostcpu = vcpu->hostcpu; in vcpu_get_state()
289 int hostcpu; in vcpu_notify_event_locked() local
[all …]
|
| H A D | vmm_vm.h | 39 int hostcpu; /* (o) vcpu's host cpu */ member
60 enum vcpu_state vcpu_get_state(struct vcpu *vcpu, int *hostcpu);
84 vcpu_is_running(struct vcpu *vcpu, int *hostcpu) in vcpu_is_running() argument
86 return (vcpu_get_state(vcpu, hostcpu) == VCPU_RUNNING); in vcpu_is_running()
|
| H A D | vmm_mem.c | 160 int hostcpu, state; in vm_mem_allocated() local
161 state = vcpu_get_state(vcpu, &hostcpu); in vm_mem_allocated()
162 KASSERT(state == VCPU_RUNNING && hostcpu == curcpu, in vm_mem_allocated()
163 ("%s: invalid vcpu state %d/%d", __func__, state, hostcpu)); in vm_mem_allocated()
|
| /freebsd/sys/riscv/vmm/ |
| H A D | vmm_riscv.c | 858 int running, hostcpu; in vmmops_getreg() local
863 running = vcpu_is_running(hypctx->vcpu, &hostcpu); in vmmops_getreg()
864 if (running && hostcpu != curcpu) in vmmops_getreg()
886 int running, hostcpu; in vmmops_setreg() local
891 running = vcpu_is_running(hypctx->vcpu, &hostcpu); in vmmops_setreg()
892 if (running && hostcpu != curcpu) in vmmops_setreg()
909 int running, hostcpu; in vmmops_exception() local
913 running = vcpu_is_running(hypctx->vcpu, &hostcpu); in vmmops_exception()
914 if (running && hostcpu != curcpu) in vmmops_exception()
|
| H A D | vmm_fence.c | 151 int hostcpu; in vmm_fence_add() local
199 if (vcpu_is_running(vcpu, &hostcpu)) in vmm_fence_add()
200 CPU_SET(hostcpu, &running_cpus); in vmm_fence_add()
|
| H A D | vmm.c | 114 vcpu->hostcpu = NOCPU; in vcpu_alloc()
|
| /freebsd/sys/arm64/vmm/ |
| H A D | vmm_arm64.c | 1286 int running, hostcpu; in vmmops_getreg() local
1289 running = vcpu_is_running(hypctx->vcpu, &hostcpu); in vmmops_getreg()
1290 if (running && hostcpu != curcpu) in vmmops_getreg()
1307 int running, hostcpu; in vmmops_setreg() local
1309 running = vcpu_is_running(hypctx->vcpu, &hostcpu); in vmmops_setreg()
1310 if (running && hostcpu != curcpu) in vmmops_setreg()
1326 int running, hostcpu; in vmmops_exception() local
1328 running = vcpu_is_running(hypctx->vcpu, &hostcpu); in vmmops_exception()
1329 if (running && hostcpu != curcpu) in vmmops_exception()
|
| H A D | vmm.c | 201 vcpu->hostcpu = NOCPU; in vcpu_alloc()
|
| /freebsd/sys/amd64/vmm/intel/ |
| H A D | vmx.c | 3411 int running, hostcpu; in vmx_getreg() local
3415 running = vcpu_is_running(vcpu->vcpu, &hostcpu); in vmx_getreg()
3416 if (running && hostcpu != curcpu) in vmx_getreg()
3440 int error, hostcpu, running, shadow; in vmx_setreg() local
3446 running = vcpu_is_running(vcpu->vcpu, &hostcpu); in vmx_setreg()
3447 if (running && hostcpu != curcpu) in vmx_setreg()
3509 int hostcpu, running; in vmx_getdesc() local
3513 running = vcpu_is_running(vcpu->vcpu, &hostcpu); in vmx_getdesc()
3514 if (running && hostcpu != curcpu) in vmx_getdesc()
3524 int hostcpu, running; in vmx_setdesc() local
[all …]
|
| /freebsd/sys/amd64/vmm/io/ |
| H A D | vlapic.h | 71 void vlapic_post_intr(struct vlapic *vlapic, int hostcpu, int ipinum);
|
| H A D | vlapic_priv.h | 140 void (*post_intr)(struct vlapic *vlapic, int hostcpu);
|
| H A D | vlapic.c | 1713 vlapic_post_intr(struct vlapic *vlapic, int hostcpu, int ipinum) in vlapic_post_intr() argument
1725 (*vlapic->ops.post_intr)(vlapic, hostcpu); in vlapic_post_intr()
1727 ipi_cpu(hostcpu, ipinum); in vlapic_post_intr()
|
| /freebsd/sys/amd64/vmm/ |
| H A D | vmm.c | 232 vcpu->hostcpu = NOCPU; in vcpu_alloc()
1716 if (vcpu->state == VCPU_RUNNING && vcpu->hostcpu != curcpu) in vcpu_notify_lapic()
1717 vlapic_post_intr(vcpu->vlapic, vcpu->hostcpu, vmm_ipinum); in vcpu_notify_lapic()
|
| /freebsd/sys/amd64/vmm/amd/ |
| H A D | svm.c | 2620 int err, running, hostcpu; in svm_vcpu_snapshot() local
2625 running = vcpu_is_running(vcpu->vcpu, &hostcpu); in svm_vcpu_snapshot()
2626 if (running && hostcpu != curcpu) { in svm_vcpu_snapshot()
|