| debug_dump() | Device | [inline] |
| debug_name() | Device | [inline] |
| Device(const char *debug_name) | Device | [inline] |
| IRQRouting(Motherboard &mb, unsigned host_irq, unsigned guest_irq, unsigned msi_vector) | IRQRouting | [inline] |
| receive(MessageIrq &msg) | IRQRouting | [inline] |
| receive_static(Device *o, M &msg) | StaticReceiver< IRQRouting > | [inline, static] |
| StaticReceiver() | StaticReceiver< IRQRouting > | [inline] |
1.7.1