X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fusb.h;fp=src%2Fdevices%2Fusb.h;h=f82762f5c231b84335b3b7ed77541f650720bd45;hb=8fff557107b6a3efec0000ce98904450c1de3648;hp=4ecce3b5ec225590b6f4a79b4d4138103aff47a8;hpb=e81af6fff9570e6f3f2b13bb9ad54cc17f25aa50;p=pintos-anon

diff --git a/src/devices/usb.h b/src/devices/usb.h
index 4ecce3b..f82762f 100644
--- 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);