X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fvpci.c;fp=palacios%2Fsrc%2Fdevices%2Fvpci.c;h=be6832ddb975e26a8db0d4238018d3bfe64c989c;hb=4acabb7ea8204accd42deb36f27ad01a23527bf6;hp=caca890cccf74f2f4a1a9b1f1cdfc8e0d2f25c9b;hpb=bbe510d2dad09de7278eebf3adf6afbcf8f3d5c3;p=palacios.releases.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);