Assertion: interrupt's isr | /r/CapableOf | provide necessary service
Facets:
Source sentences:
text: After the ISR provides the necessary service, it will execute BX LR.