ARC_REG_SLC_RGN_START1
write_aux_reg(ARC_REG_SLC_RGN_START1, 0);
write_aux_reg(ARC_REG_SLC_RGN_START1, upper_32_bits(paddr));