Symbol: __set_prev_cpu