From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 12 Dec 2008 05:05:41 +0000 (-0800)
Subject: fix-usb-disk-capacity.patch (applied cleanly)
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=2e1ad312883a5ba610d02d039fe183283d4d4667

fix-usb-disk-capacity.patch (applied cleanly)
---

diff --git a/src/devices/usb_storage.c b/src/devices/usb_storage.c
index a5e3ad1..2511439 100644
--- a/src/devices/usb_storage.c
+++ b/src/devices/usb_storage.c
@@ -309,7 +309,7 @@ msc_get_geometry (struct msc_class_info *mci)
   usb_dev_bulk (mci->eop_out, &cbw, sizeof (cbw), &tx);
   usb_dev_bulk (mci->eop_in, &buf, sizeof (buf), &tx);
 
-  mci->blk_count = be32_to_machine (cap->blocks);
+  mci->blk_count = be32_to_machine (cap->blocks) + 1;
   mci->blk_size = be32_to_machine (cap->block_len);
 
   /* did CSW stall?  */