merged in all changes done to the trunk up to Aug 28

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

diff --git a/src/devices/usb.h b/src/devices/usb.h
index 4ecce3b5ec225590b6f4a79b4d4138103aff47a8..f82762f5c231b84335b3b7ed77541f650720bd45 100644 (file)
--- a/src/devices/usb.h
+++ b/src/devices/usb.h
@@ -185,6 +185,7 @@ struct usb_setup_pkt
 #pragma pack()
 
 void usb_init (void);
+void usb_storage_init (void);
 
 void usb_register_host (struct usb_host *, host_info info);
 int usb_unregister_host (struct usb_host *, host_info info);