Assertion: new interrupt | /r/HasProperty | blocked
Facets:
Source sentences:
text: The new interrupt may be blocked until the INT1 ISR finishes, at which time it will be serviced.