X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fvpci.c;h=be6832ddb975e26a8db0d4238018d3bfe64c989c;hb=709ff8e4b1ca5412e4dd66101e25dc67751c8df7;hp=caca890cccf74f2f4a1a9b1f1cdfc8e0d2f25c9b;hpb=bffd966ae9620b33f5fcb3a9b421766f84fff2d1;p=palacios.git

diff --git a/palacios/src/devices/vpci.c b/palacios/src/devices/vpci.c
index caca890..be6832d 100644
--- a/palacios/src/devices/vpci.c
+++ b/palacios/src/devices/vpci.c
@@ -174,6 +174,8 @@ static void vpci_write_config(struct pci_device * dev, uchar_t offset, uint32_t
     dev_config = (uchar_t *)&(dev->config);
     dev_config += offset;
     
+
+    // TODO: cast 'val' instead of masking it
     switch(len) {
 	case 1:
 	    *dev_config = (val & 0xff);