Assertion: interrupt's isr | /r/CapableOf | run the interrupt
Facets:
Source sentences:
text: Later, after the ISR runs and clears the interrupt, the interrupt can be safely unmasked.
text: A reentrant ISR runs with interrupts enabled.