GIC_DIST_SGI_PENDING_CLEAR
REGISTER_DESC_WITH_LENGTH(GIC_DIST_SGI_PENDING_CLEAR,
writel_relaxed(val, dist_base + GIC_DIST_SGI_PENDING_CLEAR + i);