NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Public Types | |
enum | WMType { XCPU_REQUEST = 1, CLIENT_REQUEST, TIMER_IRQ } |
Public Attributes | |
enum PerCpuTimerService::WorkerMessage::WMType | type |
ClientData * | data |
ClientData* PerCpuTimerService::WorkerMessage::data |
enum PerCpuTimerService::WorkerMessage::WMType PerCpuTimerService::WorkerMessage::type |