Do PCI initialization before vga init.

The VGA init could depend on the PCI init.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/util.h b/src/util.h
index a8f75a3c..c18fbbaa 100644
--- a/src/util.h
+++ b/src/util.h
@@ -205,7 +205,7 @@ void make_bios_writable();
 void make_bios_readonly();
 
 // pciinit.c
-void pci_bios_setup(void);
+void pci_setup(void);
 
 // smm.c
 void smm_init();