reformatted device source files

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

diff --git a/palacios/src/devices/os_debug.c b/palacios/src/devices/os_debug.c
index 6bca537..adf9b06 100644 (file)
--- a/palacios/src/devices/os_debug.c
+++ b/palacios/src/devices/os_debug.c
@@ -27,66 +27,66 @@
 
 
 struct debug_state {
-  char debug_buf[BUF_SIZE];
-  uint_t debug_offset;
+    char debug_buf[BUF_SIZE];
+    uint_t debug_offset;
 
 };
 
 
 static int handle_gen_write(ushort_t port, void * src, uint_t length, struct vm_device * dev) {
-  struct debug_state * state = (struct debug_state *)dev->private_data;
+    struct debug_state * state = (struct debug_state *)dev->private_data;
 
-  state->debug_buf[state->debug_offset++] = *(char*)src;
+    state->debug_buf[state->debug_offset++] = *(char*)src;
 
-  if ((*(char*)src == 0xa) ||  (state->debug_offset == (BUF_SIZE - 1))) {
-    PrintDebug("VM_CONSOLE>%s", state->debug_buf);
-    memset(state->debug_buf, 0, BUF_SIZE);
-    state->debug_offset = 0;
-  }
+    if ((*(char*)src == 0xa) ||  (state->debug_offset == (BUF_SIZE - 1))) {
+       PrintDebug("VM_CONSOLE>%s", state->debug_buf);
+       memset(state->debug_buf, 0, BUF_SIZE);
+       state->debug_offset = 0;
+    }
 
-  return length;
+    return length;
 }
 
 
 static int debug_init(struct vm_device * dev) {
-  struct debug_state * state = (struct debug_state *)dev->private_data;
+    struct debug_state * state = (struct debug_state *)dev->private_data;
 
-  v3_dev_hook_io(dev, DEBUG_PORT1,  NULL, &handle_gen_write);
+    v3_dev_hook_io(dev, DEBUG_PORT1,  NULL, &handle_gen_write);
 
-  state->debug_offset = 0;
-  memset(state->debug_buf, 0, BUF_SIZE);
+    state->debug_offset = 0;
+    memset(state->debug_buf, 0, BUF_SIZE);
   
-  return 0;
+    return 0;
 }
 
 static int debug_deinit(struct vm_device * dev) {
-  v3_dev_unhook_io(dev, DEBUG_PORT1);
+    v3_dev_unhook_io(dev, DEBUG_PORT1);
 
 
-  return 0;
+    return 0;
 };
 
 
 
 
 static struct vm_device_ops dev_ops = {
-  .init = debug_init,
-  .deinit = debug_deinit,
-  .reset = NULL,
-  .start = NULL,
-  .stop = NULL,
+    .init = debug_init,
+    .deinit = debug_deinit,
+    .reset = NULL,
+    .start = NULL,
+    .stop = NULL,
 };
 
 
 struct vm_device * v3_create_os_debug() {
-  struct debug_state * state = NULL;
+    struct debug_state * state = NULL;
 
-  state = (struct debug_state *)V3_Malloc(sizeof(struct debug_state));
+    state = (struct debug_state *)V3_Malloc(sizeof(struct debug_state));
 
-  PrintDebug("Creating OS Debug Device\n");
-  struct vm_device * device = v3_create_device("OS Debug", &dev_ops, state);
+    PrintDebug("Creating OS Debug Device\n");
+    struct vm_device * device = v3_create_device("OS Debug", &dev_ops, state);
 
 
 
-  return device;
+    return device;
 }