X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Finterfaces%2Fvmm_host_dev.c;h=56ab8cd8b40b70c121a19e323f9444112d72c923;hb=da0b4bb80de755529f47b9ca57ccb0c2cefae15b;hp=5992f9e0698768ede247c61729fc77b0ca137335;hpb=ff0fec756f4800fe869f3dff2f164d3ffcfc83e6;p=palacios.releases.git

diff --git a/palacios/src/interfaces/vmm_host_dev.c b/palacios/src/interfaces/vmm_host_dev.c
index 5992f9e..56ab8cd 100644
--- a/palacios/src/interfaces/vmm_host_dev.c
+++ b/palacios/src/interfaces/vmm_host_dev.c
@@ -130,16 +130,16 @@ int v3_host_dev_raise_irq(v3_host_dev_t hostdev,
 			  uint8_t irq)
 {
     if (intr) { 
-	intr(hostdev,guest_dev,irq,1);
-	return 0;
+        intr(hostdev,guest_dev,irq,1);
+        return 0;
     } else {
-	struct vm_device *dev = (struct vm_device *) guest_dev;
-	
-	if (dev && dev->vm) { 
-	    return v3_raise_irq(dev->vm,irq);
-	} else {
-	    return -1;
-	}
+        struct vm_device *dev = (struct vm_device *) guest_dev;
+
+        if (dev && dev->vm) { 
+            return v3_raise_irq(dev->vm,irq);
+        } else {
+            return -1;
+        }
     }
 }