Module irq

Structs

• EpilogueEntrant
  should epilogue take parameter(s)? if so, the parameters should be stored in the EpilogueEntrant objects but how to make it generic in a strongly typed system? Since each epilogue may require different parameter types.. passing raw pointers isn’t an option because memory (ownership) safety
• EpilogueQueue
  the synchronized queue for Level 2 epilogues
• IRQGate
  describes a device interrupt handler routine. This is used to register a device driver to an interrupt line (see plugbox). Device drivers code should implement the IRQHandler or IRQHandlerEpilogue trait.

Statics

• EPILOGUE_QUEUE

Traits

• IRQHandler
  device driver trait that has only prologue
• IRQHandlerEpilogue
  device driver trait with both prologue and epilogue