Lines Matching refs:VGIC_ADDR_TO_INTID
45 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_read_group()
65 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_group()
87 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_read_enable()
108 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_senable()
143 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_cenable()
162 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_read_pending()
225 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_spending()
278 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_cpending()
306 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_read_active()
408 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in __vgic_mmio_write_cactive()
422 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_cactive()
445 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in __vgic_mmio_write_sactive()
459 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_sactive()
481 u32 intid = VGIC_ADDR_TO_INTID(addr, 8); in vgic_mmio_read_priority()
507 u32 intid = VGIC_ADDR_TO_INTID(addr, 8); in vgic_mmio_write_priority()
526 u32 intid = VGIC_ADDR_TO_INTID(addr, 2); in vgic_mmio_read_config()
546 u32 intid = VGIC_ADDR_TO_INTID(addr, 2); in vgic_mmio_write_config()
752 return VGIC_ADDR_TO_INTID(addr, region->bits_per_irq) < nr_irqs; in check_region()