GIC_DIST_PENDING_SET
u32 gic_int = readl_relaxed(gic_dist_base_addr + GIC_DIST_PENDING_SET);
pending_set = readl_relaxed(distbase + GIC_DIST_PENDING_SET);
pr = readl_relaxed(dist_base + GIC_DIST_PENDING_SET + i * 4);
REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_PENDING_SET,
reg = val ? GIC_DIST_PENDING_SET : GIC_DIST_PENDING_CLEAR;
*val = gic_peek_irq(d, GIC_DIST_PENDING_SET);