The Pedigree Project  0.1
Public Attributes | List of all members
HostedSchedulerState Class Reference

#include <state.h>

+ Collaboration diagram for HostedSchedulerState:

Public Attributes

uint64_t state [128]
 

Detailed Description

x64 SchedulerState

Definition at line 260 of file hosted/state.h.


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