Glossary term
Deferred Procedure Call; runs after ISR at DISPATCH_LEVEL.
expert
Low-level execution rules that explain driver bugs, lost interrupts, and why some code cannot sleep.