3 interface PCIBus : Bus {
4 guid: "5BB5C0EC-F81D-11D9-BAD0-000A95BB581A";
5 get_interrupt_for_device(PCIDevice dev, uint irqnum out,
6 Interrupts.InterruptController con out);
9 interface PCIDevice : Device {
10 guid: "5E2A66A0-F81D-11D9-9BFC-000A95BB581A";
13 interface HostBridge : PCIBus {
14 guid: "60649040-F81D-11D9-A520-000A95BB581A";
17 interface SubBridge : PCIBus, PCIDevice {
18 guid: "62EF072A-F81D-11D9-862B-000A95BB581A";