NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Public Member Functions | |
bool | receive (MessageAcpi &msg) |
GsiOverride (unsigned bdf, unsigned gsi) | |
Public Member Functions inherited from StaticReceiver< GsiOverride > | |
StaticReceiver () | |
Public Member Functions inherited from Device | |
void | debug_dump () |
Device (const char *debug_name) |
Private Attributes | |
unsigned | _bdf |
unsigned | _gsi |
Additional Inherited Members | |
Static Public Member Functions inherited from StaticReceiver< GsiOverride > | |
static bool | receive_static (Device *o, M &msg) |
|
inline |
|
inline |
|
private |
|
private |