handle_pending_interrupts
handle_pending_interrupts(prev, spu); /* Step 18. */
handle_pending_interrupts(prev, spu); /* Step 13. */