Assertion: kernel | /r/HasProperty | all of them
Facets:
Source sentences:
text: To provide synchronization, the kernel can disable interrupts, be it a single one or all of them.