sys/amd64/vmm/vmm.c

1006

vcpu_notify_event(vm_vcpu(vm, i));

sys/amd64/vmm/vmm.c

1533

vcpu_notify_event(vcpu);

sys/amd64/vmm/vmm.c

1560

vcpu_notify_event(vcpu);

sys/amd64/vmm/vmm.c

1775

vcpu_notify_event(vm_vcpu(vm, i));

sys/arm64/vmm/io/vgic_v3.c

2079

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

sys/arm64/vmm/io/vgic_v3.c

780

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

sys/arm64/vmm/io/vgic_v3.c

857

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_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/dev/vmm/vmm_vm.c

441

vcpu_notify_event(vcpu);

sys/dev/vmm/vmm_vm.h

61

void vcpu_notify_event(struct vcpu *vcpu);

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_riscv.c

552

vcpu_notify_event(vm_vcpu(vm, i));

sys/riscv/vmm/vmm_vtimer.c

95

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