-
Philippe Gerum authored
These callouts may not run over the head domain. Besides, root interrupt state tracing is handled specifically by the generic pipeline core when playing deferred IRQs.
086b3877
These callouts may not run over the head domain. Besides, root interrupt state tracing is handled specifically by the generic pipeline core when playing deferred IRQs.