|
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 |