ARC_REG_SLC_RGN_END1
write_aux_reg(ARC_REG_SLC_RGN_END1, 0);
write_aux_reg(ARC_REG_SLC_RGN_END1, upper_32_bits(end));