154 #define	INJECT_IRQ(hyp, vcpuid, irqid, level)			\  argument
425 mpidr_to_vcpu(struct hyp *hyp, uint64_t mpidr)  in mpidr_to_vcpu()
440 vgic_v3_vminit(device_t dev, struct hyp *hyp)  in vgic_v3_vminit()
554 vgic_v3_vmcleanup(device_t dev, struct hyp *hyp)  in vgic_v3_vmcleanup()
561 vgic_v3_max_cpu_count(device_t dev, struct hyp *hyp)  in vgic_v3_max_cpu_count()
598 vgic_v3_queue_irq(struct hyp *hyp, struct vgic_v3_cpu *vgic_cpu,  in vgic_v3_queue_irq()
735 	struct hyp *hyp;  in write_pendr()  local
813 	struct hyp *hyp;  in write_activer()  local
996 	struct hyp *hyp;  in dist_ctlr_read()  local
1373 	struct hyp *hyp;  in dist_read()  local
1411 	struct hyp *hyp;  in dist_write()  local
1616 	struct hyp *hyp;  in redist_read()  local
1694 	struct hyp *hyp;  in redist_write()  local
1778 	struct hyp *hyp;  in vgic_v3_icc_sgi1r_write()  local
1831 vgic_v3_mmio_init(struct hyp *hyp)  in vgic_v3_mmio_init()
1853 vgic_v3_mmio_destroy(struct hyp *hyp)  in vgic_v3_mmio_destroy()
1870 vgic_v3_attach_to_vm(device_t dev, struct hyp *hyp, struct vm_vgic_descr *descr)  in vgic_v3_attach_to_vm()
1931 vgic_v3_detach_from_vm(device_t dev, struct hyp *hyp)  in vgic_v3_detach_from_vm()
1940 vgic_v3_get_irq(struct hyp *hyp, int vcpuid, uint32_t irqid)  in vgic_v3_get_irq()
2012 vgic_v3_inject_irq(device_t dev, struct hyp *hyp, int vcpuid, uint32_t irqid,  in vgic_v3_inject_irq()
2083 vgic_v3_inject_msi(device_t dev, struct hyp *hyp, uint64_t msg, uint64_t addr)  in vgic_v3_inject_msi()