GIC_DIST_ACTIVE_CLEAR
REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_ACTIVE_CLEAR,
base + GIC_DIST_ACTIVE_CLEAR + i / 8);
base + GIC_DIST_ACTIVE_CLEAR + i / 8);
gic_poke_irq(d, GIC_DIST_ACTIVE_CLEAR);
reg = val ? GIC_DIST_ACTIVE_SET : GIC_DIST_ACTIVE_CLEAR;
dist_base + GIC_DIST_ACTIVE_CLEAR + i * 4);
dist_base + GIC_DIST_ACTIVE_CLEAR + i * 4);