It is important to call `restoreIRQ()` at the end of the function. In here you can just put the `restoreIRQ()` at the end of the function, because `cpu_switch_context_exit()` won't return.