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