Searched refs:vgic_v3_queue_irq (Results 1 – 1 of 1) sorted by relevance
| /freebsd/sys/arm64/vmm/io/ |
| H A D | vgic_v3.c | 598 vgic_v3_queue_irq(struct hyp *hyp, struct vgic_v3_cpu *vgic_cpu, in vgic_v3_queue_irq() function
770 notify = vgic_v3_queue_irq(hyp, vgic_cpu, target_vcpu, in write_pendr()
847 notify = vgic_v3_queue_irq(hyp, vgic_cpu, target_vcpu, in write_activer()
2070 notify = vgic_v3_queue_irq(hyp, vgic_cpu, vcpuid, irq); in vgic_v3_inject_irq()
|