Assertion: interrupt's isr | /r/CapableOf | clear interrupt flag
Facets:
value: always
type: TEMPORAL
Source sentences:
text: The ISR should always clear the interrupt flag that triggered the interrupt.
text: Every ISR should clear the interrupt flag (clear the appropriate bit of IFSx to zero), indicating that the interrupt has been serviced.