BMIPS_WARM_RESTART_VEC
bmips_wr_vec(BMIPS_WARM_RESTART_VEC, bmips_smp_int_vec,
set_uncached_handler(BMIPS_WARM_RESTART_VEC - CKSEG0,
s2_params[4] = (u32)BMIPS_WARM_RESTART_VEC;