IRQ_TO_REG32BIT
irq, ICD_ISERn(irq), 1 << IRQ_TO_REG32BIT(irq));
1 << IRQ_TO_REG32BIT(irq));
1 << IRQ_TO_REG32BIT(irq));
int bit = 1 << IRQ_TO_REG32BIT(irq);
GICD_ICENABLER(irq), 1 << IRQ_TO_REG32BIT(irq));
GICR_ICENABLE0, 1 << IRQ_TO_REG32BIT(irq));
irq, ICD_ISERn(irq), 1 << IRQ_TO_REG32BIT(irq));
1 << IRQ_TO_REG32BIT(irq));
1 << IRQ_TO_REG32BIT(irq));