NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Route IRQ messages from host to guest. More...
Public Member Functions | |
bool | receive (MessageIrq &msg) |
IRQRouting (Motherboard &mb, unsigned host_irq, unsigned guest_irq, unsigned msi_vector) | |
Public Member Functions inherited from StaticReceiver< IRQRouting > | |
StaticReceiver () | |
Public Member Functions inherited from Device | |
void | debug_dump () |
Device (const char *debug_name) |
Private Attributes | |
Motherboard & | _mb |
unsigned | _host_irq |
unsigned | _guest_irq |
unsigned | _msi_vector |
Additional Inherited Members | |
Static Public Member Functions inherited from StaticReceiver< IRQRouting > | |
static bool | receive_static (Device *o, M &msg) |
Route IRQ messages from host to guest.
State: testing Missing: level triggered IRQs
|
inline |
|
inline |
|
private |
|
private |
|
private |
|
private |