|
The Pedigree Project 0.1
|
#include <PicIrqState.h>
Collaboration diagram for PicHardTailRecord:Public Attributes | |
| uint8_t | irq |
| size_t | controllerLifetime |
| size_t | dispatchGeneration |
| size_t | hardStageGeneration |
| size_t | threadedCookie |
| IrqControllerAck | controllerAck |
| HardIrqDisposition | hardDisposition |
| bool | hasThreadedStage |
| bool | threadedPublished |
| bool | admitted |
Complete post-callback state for one hard interrupt occurrence.
Definition at line 785 of file PicIrqState.h.
| bool PicHardTailRecord::admitted |
Definition at line 795 of file PicIrqState.h.
| IrqControllerAck PicHardTailRecord::controllerAck |
Definition at line 791 of file PicIrqState.h.
| size_t PicHardTailRecord::controllerLifetime |
Definition at line 787 of file PicIrqState.h.
| size_t PicHardTailRecord::dispatchGeneration |
Definition at line 788 of file PicIrqState.h.
| HardIrqDisposition PicHardTailRecord::hardDisposition |
Definition at line 792 of file PicIrqState.h.
| size_t PicHardTailRecord::hardStageGeneration |
Definition at line 789 of file PicIrqState.h.
| bool PicHardTailRecord::hasThreadedStage |
Definition at line 793 of file PicIrqState.h.
| uint8_t PicHardTailRecord::irq |
Definition at line 786 of file PicIrqState.h.
| size_t PicHardTailRecord::threadedCookie |
Definition at line 790 of file PicIrqState.h.
| bool PicHardTailRecord::threadedPublished |
Definition at line 794 of file PicIrqState.h.