The Pedigree Project 0.1
Public Attributes | List of all members
PicHardTailRecord Struct Reference

#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
 

Detailed Description

Complete post-callback state for one hard interrupt occurrence.

Definition at line 769 of file PicIrqState.h.

Member Data Documentation

◆ admitted

bool PicHardTailRecord::admitted

Definition at line 779 of file PicIrqState.h.

◆ controllerAck

IrqControllerAck PicHardTailRecord::controllerAck

Definition at line 775 of file PicIrqState.h.

◆ controllerLifetime

size_t PicHardTailRecord::controllerLifetime

Definition at line 771 of file PicIrqState.h.

◆ dispatchGeneration

size_t PicHardTailRecord::dispatchGeneration

Definition at line 772 of file PicIrqState.h.

◆ hardDisposition

HardIrqDisposition PicHardTailRecord::hardDisposition

Definition at line 776 of file PicIrqState.h.

◆ hardStageGeneration

size_t PicHardTailRecord::hardStageGeneration

Definition at line 773 of file PicIrqState.h.

◆ hasThreadedStage

bool PicHardTailRecord::hasThreadedStage

Definition at line 777 of file PicIrqState.h.

◆ irq

uint8_t PicHardTailRecord::irq

Definition at line 770 of file PicIrqState.h.

◆ threadedCookie

size_t PicHardTailRecord::threadedCookie

Definition at line 774 of file PicIrqState.h.

◆ threadedPublished

bool PicHardTailRecord::threadedPublished

Definition at line 778 of file PicIrqState.h.


The documentation for this struct was generated from the following file: