namespace IO.Bus.PCI;

interface PCIBus : Bus {
	guid: "5BB5C0EC-F81D-11D9-BAD0-000A95BB581A";
	get_interrupt_for_device(PCIDevice dev, uint irqnum out,
	                         Interrupts.InterruptController con out);
};

interface PCIDevice : Device {
	guid: "5E2A66A0-F81D-11D9-9BFC-000A95BB581A";
};

interface HostBridge : PCIBus {
	guid: "60649040-F81D-11D9-A520-000A95BB581A";
};

interface SubBridge : PCIBus, PCIDevice {
	guid: "62EF072A-F81D-11D9-862B-000A95BB581A";
};