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

#include <PicIrqState.h>

+ Collaboration diagram for PicHardTailCurrentState:

Public Attributes

size_t controllerLifetime
 
size_t dispatchGeneration
 
size_t hardStageGeneration
 
size_t threadedCookie
 
size_t threadedDispatchGeneration
 
size_t hardHandlerCount
 
IrqDelivery delivery
 
bool hardLineQuarantined
 

Detailed Description

The controller and line state against which a hard tail is finalized.

Definition at line 783 of file PicIrqState.h.

Member Data Documentation

◆ controllerLifetime

size_t PicHardTailCurrentState::controllerLifetime

Definition at line 784 of file PicIrqState.h.

◆ delivery

IrqDelivery PicHardTailCurrentState::delivery

Definition at line 790 of file PicIrqState.h.

◆ dispatchGeneration

size_t PicHardTailCurrentState::dispatchGeneration

Definition at line 785 of file PicIrqState.h.

◆ hardHandlerCount

size_t PicHardTailCurrentState::hardHandlerCount

Definition at line 789 of file PicIrqState.h.

◆ hardLineQuarantined

bool PicHardTailCurrentState::hardLineQuarantined

Definition at line 791 of file PicIrqState.h.

◆ hardStageGeneration

size_t PicHardTailCurrentState::hardStageGeneration

Definition at line 786 of file PicIrqState.h.

◆ threadedCookie

size_t PicHardTailCurrentState::threadedCookie

Definition at line 787 of file PicIrqState.h.

◆ threadedDispatchGeneration

size_t PicHardTailCurrentState::threadedDispatchGeneration

Definition at line 788 of file PicIrqState.h.


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