Assertion: interrupt's priority | /r/CapableOf | represent a high-level interrupt
Facets:
Source sentences:
text: A mutex initialized with an interrupt priority that represents a high-level interrupt is known as a high-level mutex.