/freebsd/sys/riscv/vmm/ |
H A D | vmm.c | 85 int hostcpu; /* host cpuid this vcpu last ran on */ member 191 vcpu->hostcpu = NOCPU; in vcpu_alloc() 732 int hostcpu; in vcpu_notify_event_locked() local 734 hostcpu = vcpu->hostcpu; in vcpu_notify_event_locked() 736 KASSERT(hostcpu != NOCPU, ("vcpu running on invalid hostcpu")); in vcpu_notify_event_locked() 737 if (hostcpu != curcpu) { in vcpu_notify_event_locked() 738 ipi_cpu(hostcpu, vmm_ipinum); in vcpu_notify_event_locked() 748 KASSERT(hostcpu == NOCPU, ("vcpu state %d not consistent " in vcpu_notify_event_locked() 749 "with hostcpu %d", vcpu->state, hostcpu)); in vcpu_notify_event_locked() 833 KASSERT(vcpu->hostcpu == curcpu, ("curcpu %d and hostcpu %d " in vcpu_set_state_locked() [all …]
|
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 | 147 int hostcpu; in vmm_fence_add() local 196 state = vcpu_get_state(vcpu, &hostcpu); in vmm_fence_add() 198 CPU_SET(hostcpu, &running_cpus); in vmm_fence_add()
|
/freebsd/sys/arm64/vmm/ |
H A D | vmm.c | 81 int hostcpu; /* host cpuid this vcpu last ran on */ member 290 vcpu->hostcpu = NOCPU; in vcpu_alloc() 1010 int hostcpu; in vcpu_notify_event_locked() local 1012 hostcpu = vcpu->hostcpu; in vcpu_notify_event_locked() 1014 KASSERT(hostcpu != NOCPU, ("vcpu running on invalid hostcpu")); in vcpu_notify_event_locked() 1015 if (hostcpu != curcpu) { in vcpu_notify_event_locked() 1016 ipi_cpu(hostcpu, vmm_ipinum); in vcpu_notify_event_locked() 1026 KASSERT(hostcpu == NOCPU, ("vcpu state %d not consistent " in vcpu_notify_event_locked() 1027 "with hostcpu %d", vcpu->state, hostcpu)); in vcpu_notify_event_locked() 1112 KASSERT(vcpu->hostcpu == curcpu, ("curcpu %d and hostcpu %d " in vcpu_set_state_locked() [all …]
|
H A D | vmm_arm64.c | 1264 int running, hostcpu; in vmmops_getreg() local 1267 running = vcpu_is_running(hypctx->vcpu, &hostcpu); in vmmops_getreg() 1268 if (running && hostcpu != curcpu) in vmmops_getreg() 1285 int running, hostcpu; in vmmops_setreg() local 1287 running = vcpu_is_running(hypctx->vcpu, &hostcpu); in vmmops_setreg() 1288 if (running && hostcpu != curcpu) in vmmops_setreg() 1304 int running, hostcpu; in vmmops_exception() local 1306 running = vcpu_is_running(hypctx->vcpu, &hostcpu); in vmmops_exception() 1307 if (running && hostcpu != curcpu) in vmmops_exception()
|
/freebsd/sys/amd64/vmm/ |
H A D | vmm.c | 106 int hostcpu; /* (o) vcpu's host cpu */ member 356 vcpu->hostcpu = NOCPU; in vcpu_alloc() 1018 KASSERT(vcpu->hostcpu == curcpu, ("curcpu %d and hostcpu %d " in vcpu_set_state_locked() 1019 "mismatch for running vcpu", curcpu, vcpu->hostcpu)); in vcpu_set_state_locked() 1021 KASSERT(vcpu->hostcpu == NOCPU, ("Invalid hostcpu %d for a " in vcpu_set_state_locked() 1022 "vcpu that is not running", vcpu->hostcpu)); in vcpu_set_state_locked() 1053 vcpu->hostcpu = curcpu; in vcpu_set_state_locked() 1055 vcpu->hostcpu = NOCPU; in vcpu_set_state_locked() 2114 vcpu_get_state(struct vcpu *vcpu, int *hostcpu) in vcpu_get_state() argument 2120 if (hostcpu != NULL) in vcpu_get_state() [all …]
|
/freebsd/sys/riscv/include/ |
H A D | vmm.h | 193 enum vcpu_state vcpu_get_state(struct vcpu *vcpu, int *hostcpu); 196 vcpu_is_running(struct vcpu *vcpu, int *hostcpu) in vcpu_is_running() argument 198 return (vcpu_get_state(vcpu, hostcpu) == VCPU_RUNNING); in vcpu_is_running()
|
/freebsd/sys/arm64/include/ |
H A D | vmm.h | 212 enum vcpu_state vcpu_get_state(struct vcpu *vcpu, int *hostcpu); 215 vcpu_is_running(struct vcpu *vcpu, int *hostcpu) in vcpu_is_running() argument 217 return (vcpu_get_state(vcpu, hostcpu) == VCPU_RUNNING); in vcpu_is_running()
|
/freebsd/sys/dev/vmm/ |
H A D | vmm_mem.c | 143 int hostcpu, state; in vm_mem_allocated() local 144 state = vcpu_get_state(vcpu, &hostcpu); in vm_mem_allocated() 145 KASSERT(state == VCPU_RUNNING && hostcpu == curcpu, in vm_mem_allocated() 146 ("%s: invalid vcpu state %d/%d", __func__, state, hostcpu)); in vm_mem_allocated()
|
/freebsd/sys/amd64/vmm/intel/ |
H A D | vmx.c | 3409 int running, hostcpu; in vmx_getreg() local 3413 running = vcpu_is_running(vcpu->vcpu, &hostcpu); in vmx_getreg() 3414 if (running && hostcpu != curcpu) in vmx_getreg() 3438 int error, hostcpu, running, shadow; in vmx_setreg() local 3444 running = vcpu_is_running(vcpu->vcpu, &hostcpu); in vmx_setreg() 3445 if (running && hostcpu != curcpu) in vmx_setreg() 3507 int hostcpu, running; in vmx_getdesc() local 3511 running = vcpu_is_running(vcpu->vcpu, &hostcpu); in vmx_getdesc() 3512 if (running && hostcpu != curcpu) in vmx_getdesc() 3522 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 | 1712 vlapic_post_intr(struct vlapic *vlapic, int hostcpu, int ipinum) in vlapic_post_intr() argument 1724 (*vlapic->ops.post_intr)(vlapic, hostcpu); in vlapic_post_intr() 1726 ipi_cpu(hostcpu, ipinum); in vlapic_post_intr()
|
/freebsd/sys/amd64/include/ |
H A D | vmm.h | 356 enum vcpu_state vcpu_get_state(struct vcpu *vcpu, int *hostcpu); 359 vcpu_is_running(struct vcpu *vcpu, int *hostcpu) in vcpu_is_running() argument 361 return (vcpu_get_state(vcpu, hostcpu) == VCPU_RUNNING); in vcpu_is_running()
|
/freebsd/sys/amd64/vmm/amd/ |
H A D | svm.c | 2604 int err, running, hostcpu; in svm_vcpu_snapshot() local 2609 running = vcpu_is_running(vcpu->vcpu, &hostcpu); in svm_vcpu_snapshot() 2610 if (running && hostcpu != curcpu) { in svm_vcpu_snapshot()
|