At the time the interrupt vectors are fetched, all the user registers except the stack pointer have been saved in the user MAP. The first thing the operating system must do is save the interrupted task's stack pointer and load the system stack pointer.