added pci passthrough and a few other things

[palacios.git] / palacios / src / devices / generic.c

diff --git a/palacios/src/devices/generic.c b/palacios/src/devices/generic.c
index 7a70e5d..c6dd8d6 100644 (file)
--- a/palacios/src/devices/generic.c
+++ b/palacios/src/devices/generic.c
@@ -26,7 +26,7 @@
 
 
 
-#ifndef DEBUG_GENERIC
+#ifndef CONFIG_DEBUG_GENERIC
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif
@@ -92,11 +92,11 @@ static int generic_write_port_passthrough(uint16_t port, void * src,
            v3_outw(port,((uint16_t*)src)[0]);
            break;
        case 4:
-           v3_outdw(port,((uint_t*)src)[0]);
+           v3_outdw(port,((uint32_t *)src)[0]);
            break;
        default:
            for (i = 0; i < length; i++) { 
-               v3_outb(port, ((uchar_t*)src)[i]);
+               v3_outb(port, ((uchar_t *)src)[i]);
            }
     }