Searched refs:VGIC_ADDR_IRQ_MASK (Results 1 – 1 of 1) sorted by relevance
48 #define VGIC_ADDR_IRQ_MASK(bits) (((bits) * 1024 / 8) - 1) macro58 #define VGIC_ADDR_TO_INTID(addr, bits) (((addr) & VGIC_ADDR_IRQ_MASK(bits)) * \