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()
211 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_spending()
258 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_cpending()
280 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_read_active()
386 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in __vgic_mmio_write_cactive()
400 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_cactive()
423 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in __vgic_mmio_write_sactive()
437 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_sactive()
459 u32 intid = VGIC_ADDR_TO_INTID(addr, 8); in vgic_mmio_read_priority()
485 u32 intid = VGIC_ADDR_TO_INTID(addr, 8); in vgic_mmio_write_priority()
504 u32 intid = VGIC_ADDR_TO_INTID(addr, 2); in vgic_mmio_read_config()
524 u32 intid = VGIC_ADDR_TO_INTID(addr, 2); in vgic_mmio_write_config()
730 return VGIC_ADDR_TO_INTID(addr, region->bits_per_irq) < nr_irqs; in check_region()