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