The kernel would have to execute an ERET instruction to return to userland; this clears exclusive state.