-Tinkered with formatting

[pintos-anon] / src / devices / usb.c

diff --git a/src/devices/usb.c b/src/devices/usb.c
index df4ead0cd87e208955ed11f174dd92795720683d..faca88bd04fb6bb62bb0f1b338d524738575b717 100644 (file)
--- a/src/devices/usb.c
+++ b/src/devices/usb.c
@@ -7,6 +7,7 @@ extern struct list pci_dev_list;
 
 void usb_init(void)
 {
+  printf ("\n");
   printf ("USB: Initializing\n");
 
   /* Scan PCI devices for USB controllers */
@@ -25,4 +26,5 @@ void usb_init(void)
        }
     }
   printf ("USB: Initialization done\n");
+  printf ("\n");
 }