|
NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
This is the complete list of members for GsiOverride, including all inherited members.
| _bdf | GsiOverride | private |
| _gsi | GsiOverride | private |
| debug_dump() | Device | inline |
| Device(const char *debug_name) | Device | inline |
| GsiOverride(unsigned bdf, unsigned gsi) | GsiOverride | inline |
| receive(MessageAcpi &msg) | GsiOverride | inline |
| receive_static(Device *o, M &msg) | StaticReceiver< GsiOverride > | inlinestatic |
| StaticReceiver() | StaticReceiver< GsiOverride > | inline |