X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvm_dev.c;h=ac034ca89b28185170e5811219858329d0bade7a;hp=6257a985e09a3981c5acc1d89bdcee61095d722f;hb=266af4b5b19da7bee8e7445288c7c1cb3ee194c7;hpb=5ac47589b79508967bd06b4022bbfc50de47423f

diff --git a/palacios/src/palacios/vm_dev.c b/palacios/src/palacios/vm_dev.c
index 6257a98..ac034ca 100644
--- a/palacios/src/palacios/vm_dev.c
+++ b/palacios/src/palacios/vm_dev.c
@@ -25,40 +25,40 @@
 
 static struct vm_device * v3_allocate_device() {
 
-  struct vm_device * dev = NULL;
-  dev = (struct vm_device*)V3_Malloc(sizeof(struct vm_device));
+    struct vm_device * dev = NULL;
+    dev = (struct vm_device*)V3_Malloc(sizeof(struct vm_device));
 
-  V3_ASSERT(dev != NULL);
+    V3_ASSERT(dev != NULL);
 
-  dev->ops = NULL;
-  memset(dev->name, 0, 32);
-  dev->vm = NULL;
-  dev->private_data = NULL;
+    dev->ops = NULL;
+    memset(dev->name, 0, 32);
+    dev->vm = NULL;
+    dev->private_data = NULL;
 
 
-  INIT_LIST_HEAD(&(dev->io_hooks));
-  dev->num_io_hooks = 0;
+    INIT_LIST_HEAD(&(dev->io_hooks));
+    dev->num_io_hooks = 0;
 
-  INIT_LIST_HEAD(&(dev->mem_hooks));
-  dev->num_mem_hooks = 0;
+    INIT_LIST_HEAD(&(dev->mem_hooks));
+    dev->num_mem_hooks = 0;
   
-  INIT_LIST_HEAD(&(dev->irq_hooks));
-  dev->num_irq_hooks = 0;
+    INIT_LIST_HEAD(&(dev->irq_hooks));
+    dev->num_irq_hooks = 0;
 
-  return dev;
+    return dev;
 }
 
 struct vm_device * v3_create_device(char * name, struct vm_device_ops * ops, void * private_data) {
-  struct vm_device * dev = v3_allocate_device();
+    struct vm_device * dev = v3_allocate_device();
 
-  strncpy(dev->name, name, 32);
-  dev->ops = ops;
-  dev->private_data = private_data;
+    strncpy(dev->name, name, 32);
+    dev->ops = ops;
+    dev->private_data = private_data;
 
-  return dev;
+    return dev;
 }
 
 void v3_free_device(struct vm_device * dev) {
-  V3_Free(dev);
+    V3_Free(dev);
 }