X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=4d1aee8931dfcfbec1a926ef80cc75a09f2210c3;hb=c2edf1dc3e9a634fb7c68519d6cb6534a129e5b1;hp=51d6bdd43d7ee39ed3eb1b7dcf3b20881639ba48;hpb=749088412dc35dfc51035c30b86dd0b86a6954f7;p=pintos-anon

diff --git a/src/threads/init.c b/src/threads/init.c
index 51d6bdd..4d1aee8 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -28,6 +28,7 @@
 #include "userprog/tss.h"
 #endif
 #ifdef FILESYS
+#include "devices/pci.h"
 #include "devices/disk.h"
 #include "filesys/filesys.h"
 #include "filesys/fsutil.h"
@@ -120,6 +121,8 @@ main (void)
   timer_calibrate ();
 
 #ifdef FILESYS
+  pci_scan ();
+
   /* Initialize filesystem. */
   disk_init ();
   filesys_init (format_filesys);