Assertion: pending interrupt | /r/HasProperty | serviced
Facets:
Source sentences:
text: The pending interrupt with the highest priority is the interrupt that will be serviced (that is, who's ISR will run).