/* pci_init.c */ #include "syslib.h" #include /*===========================================================================* * pci_init * *===========================================================================*/ PUBLIC void pci_init() { pci_init1(""); }