The Pedigree Project 0.1
Public Attributes | List of all members
PageFaultHandler::ActiveDispatch Struct Reference
+ Collaboration diagram for PageFaultHandler::ActiveDispatch:

Public Attributes

void * token
 
size_t generation
 
void * owner
 
HandlerSlot * slot
 

Detailed Description

Definition at line 142 of file PageFaultHandler.h.

Constructor & Destructor Documentation

◆ ActiveDispatch()

PageFaultHandler::ActiveDispatch::ActiveDispatch ( )
inline

Definition at line 143 of file PageFaultHandler.h.

Member Data Documentation

◆ generation

size_t PageFaultHandler::ActiveDispatch::generation

Definition at line 146 of file PageFaultHandler.h.

◆ owner

void* PageFaultHandler::ActiveDispatch::owner

Definition at line 147 of file PageFaultHandler.h.

◆ slot

HandlerSlot* PageFaultHandler::ActiveDispatch::slot

Definition at line 148 of file PageFaultHandler.h.

◆ token

void* PageFaultHandler::ActiveDispatch::token

Definition at line 145 of file PageFaultHandler.h.


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