GICD_ENABLE
value = vgic->enabled ? GICD_ENABLE : 0;
dist->enabled = val & GICD_ENABLE;
writel_relaxed(GICD_ENABLE, base + GIC_DIST_CTRL);
writel_relaxed(GICD_ENABLE, dist_base + GIC_DIST_CTRL);