sys/arm64/vmm/io/vgic.h

47

int vgic_inject_irq(struct hyp *hyp, int vcpuid, uint32_t irqid, bool level);

sys/arm64/vmm/io/vgic_v3.c

2338

DEVMETHOD(vgic_inject_irq, vgic_v3_inject_irq),

sys/arm64/vmm/io/vtimer.c

102

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vtimer.c

274

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vtimer.c

277

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vtimer.c

280

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vtimer.c

307

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vtimer.c

317

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vtimer.c

337

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vtimer.c

367

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(vcpu), timer->irqid, false);

sys/arm64/vmm/vmm.c

840

return (vgic_inject_irq(vm->cookie, -1, irq, true));

sys/arm64/vmm/vmm.c

846

return (vgic_inject_irq(vm->cookie, -1, irq, false));