Assertion: interrupt's isr | /r/CapableOf | push extra copy of the status
Facets:
Source sentences:
text: Otherwise, the ISR has to then push an extra copy of the status register so it can restore the register sizes prior to pulling them from the stack.