NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
#include <vcpu.h>
Public Types | |
enum | Type { INTA, RESET, INIT } |
Public Member Functions | |
LapicEvent (Type _type) |
Public Attributes | |
enum LapicEvent::Type | type |
unsigned | value |
enum LapicEvent::Type |
|
inline |
enum LapicEvent::Type LapicEvent::type |
unsigned LapicEvent::value |