Searched refs:VGIC_ADDR_TO_INTID (Results 1 – 3 of 3) sorted by relevance
165 u32 intid = VGIC_ADDR_TO_INTID(addr, 8); in vgic_mmio_read_target()184 u32 intid = VGIC_ADDR_TO_INTID(addr, 8); in vgic_mmio_write_target()
58 #define VGIC_ADDR_TO_INTID(addr, bits) (((addr) & VGIC_ADDR_IRQ_MASK(bits)) * \ macro
223 int intid = VGIC_ADDR_TO_INTID(addr, 64); in vgic_mmio_read_irouter()242 int intid = VGIC_ADDR_TO_INTID(addr, 64); in vgic_mmio_write_irouter()