Searched refs:vcpu_notify_event (Results 1 – 9 of 9) sorted by relevance
| /freebsd/sys/dev/vmm/ |
| H A D | vmm_vm.c | 313 vcpu_notify_event(struct vcpu *vcpu) in vcpu_notify_event() function 391 vcpu_notify_event(vm_vcpu(vm, i)); in vm_suspend() 434 vcpu_notify_event(vm_vcpu(vm, i)); in vm_suspend_cpu() 441 vcpu_notify_event(vcpu); in vm_suspend_cpu()
|
| H A D | vmm_vm.h | 61 void vcpu_notify_event(struct vcpu *vcpu);
|
| /freebsd/sys/riscv/vmm/ |
| H A D | vmm_vtimer.c | 95 vcpu_notify_event(vm_vcpu(hyp->vm, hypctx->cpu_id)); in vtimer_inject_irq_callout()
|
| H A D | vmm_aplic.c | 545 vcpu_notify_event(vm_vcpu(hyp->vm, irq->target_hart)); in aplic_inject_irq()
|
| H A D | vmm.c | 662 vcpu_notify_event(vm_vcpu(vm, i)); in vm_handle_suspend()
|
| H A D | vmm_riscv.c | 552 vcpu_notify_event(vm_vcpu(vm, i)); in riscv_send_ipi()
|
| /freebsd/sys/amd64/vmm/ |
| H A D | vmm.c | 1006 vcpu_notify_event(vm_vcpu(vm, i)); in vm_handle_suspend() 1533 vcpu_notify_event(vcpu); in vm_inject_nmi() 1560 vcpu_notify_event(vcpu); in vm_inject_extint() 1775 vcpu_notify_event(vm_vcpu(vm, i)); in vm_smp_rendezvous()
|
| /freebsd/sys/arm64/vmm/io/ |
| H A D | vgic_v3.c | 779 vcpu_notify_event(vm_vcpu(hyp->vm, target_vcpu)); in write_pendr() 856 vcpu_notify_event(vm_vcpu(hyp->vm, target_vcpu)); in write_activer() 2078 vcpu_notify_event(vm_vcpu(hyp->vm, vcpuid)); in vgic_v3_inject_irq()
|
| /freebsd/sys/arm64/vmm/ |
| H A D | vmm.c | 985 vcpu_notify_event(vm_vcpu(vm, i)); in vm_handle_suspend()
|