- io_outl(PCI_CONFIG_ADDR, base | (offset & ~0x3));
- return io_inl(PCI_CONFIG_DATA);
-}
-
-inline void
-pci_write_cspace(uint32_t base, int offset, pci_reg_t data)
-{
- io_outl(PCI_CONFIG_ADDR, base | (offset & ~0x3));
- io_outl(PCI_CONFIG_DATA, data);
-}
-
-/**
- * @brief 初始化PCI。这主要是通过扫描PCI总线进行拓扑重建。注意,该
- * 初始化不包括针对每个设备的初始化,因为那是设备驱动的事情。
- *
- */
-void
-pci_init();
-
-void
-pci_print_device();