Assertion: interrupt's priority | /r/HasProperty | put into pending state
Facets:
Source sentences:
text: The interrupt controller sends an interrupt request (or IRQ) to the CPU with a certain priority level, and the CPU sets a mask that causes any other interrupts with a lower priority to be put into a pending state, until the CPU releases control back to the interrupt controller.