idl/io/bus/pci.idl

   1 namespace IO.Bus.PCI;
   2
   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);
   7 };
   8
   9 interface PCIDevice : Device {
  10         guid: "5E2A66A0-F81D-11D9-9BFC-000A95BB581A";
  11 };
  12
  13 interface HostBridge : PCIBus {
  14         guid: "60649040-F81D-11D9-A520-000A95BB581A";
  15 };
  16
  17 interface SubBridge : PCIBus, PCIDevice {
  18         guid: "62EF072A-F81D-11D9-862B-000A95BB581A";
  19 };