Assertion: programmer visible register | /r/CapableOf | restore register
Facets:
value: on an interrupt or context switch
type: TEMPORAL
Source sentences:
text: More programmer-visible registers requires more time saving and restoring registers on an interrupt or context switch.