GICD_CTLR_RWP
gic_do_wait_for_rwp(gic_data.dist_base, GICD_CTLR_RWP);
while (readl(GICD_BASE_GVA + GICD_CTLR) & GICD_CTLR_RWP) {