#include "userprog/tss.h"
#endif
#ifdef FILESYS
+#include "devices/pci.h"
#include "devices/disk.h"
#include "filesys/filesys.h"
#include "filesys/fsutil.h"
timer_calibrate ();
#ifdef FILESYS
+ pci_scan ();
+
/* Initialize filesystem. */
disk_init ();
filesys_init (format_filesys);