Do PCI initialization before vga init.

The VGA init could depend on the PCI init.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/post.c b/src/post.c
index 0cedb08c..e2569b0c 100644
--- a/src/post.c
+++ b/src/post.c
@@ -171,6 +171,9 @@ post()
     malloc_setup();
     pmm_setup();
 
+    pci_setup();
+    smm_init();
+
     pnp_setup();
     vga_setup();
 
@@ -179,9 +182,6 @@ post()
     serial_setup();
     mouse_setup();
 
-    pci_bios_setup();
-    smm_init();
-
     init_bios_tables();
 
     boot_setup();