|
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 769 of file PicIrqState.h.
| bool PicHardTailRecord::admitted |
Definition at line 779 of file PicIrqState.h.
| IrqControllerAck PicHardTailRecord::controllerAck |
Definition at line 775 of file PicIrqState.h.
| size_t PicHardTailRecord::controllerLifetime |
Definition at line 771 of file PicIrqState.h.
| size_t PicHardTailRecord::dispatchGeneration |
Definition at line 772 of file PicIrqState.h.
| HardIrqDisposition PicHardTailRecord::hardDisposition |
Definition at line 776 of file PicIrqState.h.
| size_t PicHardTailRecord::hardStageGeneration |
Definition at line 773 of file PicIrqState.h.
| bool PicHardTailRecord::hasThreadedStage |
Definition at line 777 of file PicIrqState.h.
| uint8_t PicHardTailRecord::irq |
Definition at line 770 of file PicIrqState.h.
| size_t PicHardTailRecord::threadedCookie |
Definition at line 774 of file PicIrqState.h.
| bool PicHardTailRecord::threadedPublished |
Definition at line 778 of file PicIrqState.h.