NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
This is the complete list of members for IRQRouting, including all inherited members.
_guest_irq | IRQRouting | private |
_host_irq | IRQRouting | private |
_mb | IRQRouting | private |
_msi_vector | IRQRouting | private |
debug_dump() | 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 > | inlinestatic |
StaticReceiver() | StaticReceiver< IRQRouting > | inline |