Assertion: interrupt's isr | /r/CapableOf | notify the kernel
Facets:
value: with a return value
type: OTHER
Source sentences:
text: If no further handling is required the ISR notifies the kernel with a return value.