Lines Matching refs:VGIC_ADDR_TO_INTID
53 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_read_group()
73 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_group()
95 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_read_enable()
116 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_senable()
135 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_cenable()
154 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_read_pending()
217 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_spending()
270 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_cpending()
298 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_read_active()
400 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in __vgic_mmio_write_cactive()
414 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_cactive()
437 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in __vgic_mmio_write_sactive()
451 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_sactive()
473 u32 intid = VGIC_ADDR_TO_INTID(addr, 8); in vgic_mmio_read_priority()
499 u32 intid = VGIC_ADDR_TO_INTID(addr, 8); in vgic_mmio_write_priority()
518 u32 intid = VGIC_ADDR_TO_INTID(addr, 2); in vgic_mmio_read_config()
538 u32 intid = VGIC_ADDR_TO_INTID(addr, 2); in vgic_mmio_write_config()
744 return VGIC_ADDR_TO_INTID(addr, region->bits_per_irq) < nr_irqs; in check_region()