X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fusb.c;h=1ac802f563496e769945024c24b70a5b55409e55;hb=8fff557107b6a3efec0000ce98904450c1de3648;hp=b885eb1442ccf8f14576f154e7b47aa61c10a3d6;hpb=0e4a4bc6b269070171de9aec0593c89ec68ee751;p=pintos-anon

diff --git a/src/devices/usb.c b/src/devices/usb.c
index b885eb1..1ac802f 100644
--- a/src/devices/usb.c
+++ b/src/devices/usb.c
@@ -260,7 +260,8 @@ usb_configure_default (struct host *h)
   host_dev_info hi;
   host_eop_info cfg_eop;
   bool ignore_device = false;
-  int err, sz, txed;
+  int err, sz; 
+  unsigned txed;
   int config_val;
 
   hi = h->dev->create_dev_channel (h->info, ADDR_DEFAULT, USB_VERSION_1_1);
@@ -431,7 +432,7 @@ usb_load_config (struct usb_dev *dev, int idx, void *data, int dsz)
 
   sz = usb_tx_all (&dev->cfg_eop, cd, dsz,
 		   sizeof (struct config_descriptor), true);
-  if (sz < sizeof (struct config_descriptor))
+  if (sz < (int) sizeof (struct config_descriptor))
     {
       printf ("USB: Did not rx GET descriptor (%d bytes, expected %d)\n", sz,
 	      sizeof (struct config_descriptor));