A64_CPUX_AXI_CFG_REG
reg = SXIREAD4(sc, A64_CPUX_AXI_CFG_REG);
reg = SXIREAD4(sc, A64_CPUX_AXI_CFG_REG);
SXIWRITE4(sc, A64_CPUX_AXI_CFG_REG, reg);
reg = SXIREAD4(sc, A64_CPUX_AXI_CFG_REG);
SXIWRITE4(sc, A64_CPUX_AXI_CFG_REG, reg);