sys/amd64/vmm/io/vlapic.c

1101

vcpu = vm_vcpu(vlapic->vm, i);

sys/amd64/vmm/io/vlapic.c

1112

vcpu = vm_vcpu(vlapic->vm, i);

sys/amd64/vmm/io/vlapic.c

1703

vcpu = vm_vcpu(vm, vcpuid);

sys/amd64/vmm/io/vlapic.c

1854

vcpu = vm_vcpu(vm, i);

sys/amd64/vmm/io/vlapic.c

866

vlapic = vm_lapic(vm_vcpu(vm, vcpuid));

sys/amd64/vmm/vmm.c

1006

vcpu_notify_event(vm_vcpu(vm, i));

sys/amd64/vmm/vmm.c

1775

vcpu_notify_event(vm_vcpu(vm, i));

sys/amd64/vmm/vmm_lapic.c

80

vlapic = vm_lapic(vm_vcpu(vm, cpu));

sys/arm64/vmm/io/vgic_v3.c

2078

vcpu_notify_event(vm_vcpu(hyp->vm, vcpuid));

sys/arm64/vmm/io/vgic_v3.c

779

vcpu_notify_event(vm_vcpu(hyp->vm, target_vcpu));

sys/arm64/vmm/io/vgic_v3.c

856

vcpu_notify_event(vm_vcpu(hyp->vm, target_vcpu));

sys/arm64/vmm/vmm.c

985

vcpu_notify_event(vm_vcpu(vm, i));

sys/dev/vmm/vmm_dev.c

170

vcpu = vm_vcpu(sc->vm, i);

sys/dev/vmm/vmm_vm.c

195

vcpu = vm_vcpu(vm, i);

sys/dev/vmm/vmm_vm.c

225

vcpu = vm_vcpu(vm, i);

sys/dev/vmm/vmm_vm.c

391

vcpu_notify_event(vm_vcpu(vm, i));

sys/dev/vmm/vmm_vm.c

434

vcpu_notify_event(vm_vcpu(vm, i));

sys/riscv/vmm/vmm.c

662

vcpu_notify_event(vm_vcpu(vm, i));

sys/riscv/vmm/vmm_aplic.c

545

vcpu_notify_event(vm_vcpu(hyp->vm, irq->target_hart));

sys/riscv/vmm/vmm_fence.c

161

vcpu = vm_vcpu(vm, i);

sys/riscv/vmm/vmm_riscv.c

552

vcpu_notify_event(vm_vcpu(vm, i));

sys/riscv/vmm/vmm_sbi.c

87

vcpu = vm_vcpu(hyp->vm, i);

sys/riscv/vmm/vmm_vtimer.c

95

vcpu_notify_event(vm_vcpu(hyp->vm, hypctx->cpu_id));