ARMADAXP_L2_AUX_CTRL
reg = read_l2_cache(ARMADAXP_L2_AUX_CTRL);
write_l2_cache(ARMADAXP_L2_AUX_CTRL, reg);