set_switch_pending
set_switch_pending(prev, spu); /* Step 7. */
set_switch_pending(prev, spu); /* Step 5. */