From ef16b4648406f87940abeb5616fb82cd2cd7e7a6 Mon Sep 17 00:00:00 2001
From: Nathan Binkert <binkertn@umich.edu>
Date: Mon, 12 Jul 2004 22:33:27 -0400
Subject: [PATCH] formatting

--HG--
extra : convert_revision : cbd0c148a50643191372fdba2f771d7e145f1bff
---
 util/ccdrv/devtime.c | 32 ++++++++++++++------------------
 1 file changed, 14 insertions(+), 18 deletions(-)

diff --git a/util/ccdrv/devtime.c b/util/ccdrv/devtime.c
index 5c17bf5ef..0e5d17f60 100644
--- a/util/ccdrv/devtime.c
+++ b/util/ccdrv/devtime.c
@@ -55,7 +55,7 @@ static inline uint32_t cycleCounter(uint32_t dep);
 static int __init devtime_start(void)
 {
     uint64_t addr;
-        uint32_t t1, t2;
+    uint32_t t1, t2;
     uint32_t trash;
     int x;
 
@@ -64,8 +64,7 @@ static int __init devtime_start(void)
 
     printk("Devtime Driver Version %s Loaded...\n", DRIVER_VER);
 
-    if ((dataAddr != 0) && (count != 0))
-    {
+    if (dataAddr != 0 && count != 0) {
         addr = simple_strtoull(dataAddr, NULL, 0);
 
         devSum = 0;
@@ -77,13 +76,11 @@ static int __init devtime_start(void)
          * linear addressing, so its not a problem. But it can fail in x86
          * if physical memory is mapped to this address.
          */
-        if (addr)
-        {
+        if (addr) {
             printk("Preparing to read %#llx %d times.\n", addr, count);
 
             t1 = cycleCounter(trash);
-            for (x=0; x < count; x++)
-            {
+            for (x = 0; x < count; x++) {
                 trash = readl(addr);
                 t2 = cycleCounter(trash);
                 devSum += t2 - t1;
@@ -95,28 +92,26 @@ static int __init devtime_start(void)
              */
             iounmap(addr);
 
-            printk("Read Address %#llx %ld times. Average latency %ld.\n", addr, devCnt, devSum/devCnt);
+            printk("Read Address %#llx %ld times. Average latency %ld.\n",
+                   addr, devCnt, devSum/devCnt);
         }
         else
             printk("Unable to remap address. Please try again later.\n");
     } else {
         dev = dev_get_by_name("eth0");
-        if (dev)
-        {
-            printk("Eth0: MemStart: %#lx MemEnd: %#lx I/O Addr: %#lx\n", dev->mem_start,
-                    dev->mem_end, dev->base_addr);
+        if (dev) {
+            printk("Eth0: MemStart: %#lx MemEnd: %#lx I/O Addr: %#lx\n",
+                   dev->mem_start, dev->mem_end, dev->base_addr);
             dev_put(dev);
         }
         dev = 0;
         dev = dev_get_by_name("eth1");
-        if (dev)
-        {
-            printk("Eth1: MemStart: %#lx MemEnd: %#lx I/O Addr: %#lx\n", dev->mem_start,
-                    dev->mem_end, dev->base_addr);
+        if (dev) {
+            printk("Eth1: MemStart: %#lx MemEnd: %#lx I/O Addr: %#lx\n",
+                   dev->mem_start, dev->mem_end, dev->base_addr);
             dev_put(dev);
         }
 
-
         printk("Required information not supplied.\n");
     }
 
@@ -146,7 +141,8 @@ inline uint32_t cycleCounter(uint32_t dep)
 #error Architecture NOT SUPPORTE
 #endif
 
-static void __exit devtime_end(void) {
+static void __exit devtime_end(void)
+{
     printk("Devtime Driver Version %s Unloaded...\n", DRIVER_VER);
 }