Assertion: kernel | /r/CapableOf | delegate interrupt dispatch
Facets:
value: to a common kernel
type: TRANSITIVE-OBJECT
value: before calling the registered handler(s
type: TEMPORAL
Source sentences:
text: The kernel (Linux kernel, that is) does not hook ISRs directly to the x86 architecture's interrupt gates but instead delegates the interrupt dispatch to a common kernel interrupt entry/exit mechanism which saves pre-interrupt register state before calling the registered handler(s).