Assertion: operating system's kernel | /r/CapableOf | save all user registers
Facets:
Source sentences:
text: As with function calls, the kernel needs to be careful to save all user registers and restore everything before it returns.