# HG changeset patch
# User diego
# Date 1208379099 0
# Node ID c121e5003fe1fd263aa299a83f81b42a29e31b25
# Parent  e3a1ff3099d6cc7f4ce0b6bd3981184446273b23
cosmetics: Fix nonstandard indentation.

diff -r e3a1ff3099d6 -r c121e5003fe1 i386/cputest.c
--- a/i386/cputest.c	Wed Apr 16 20:43:37 2008 +0000
+++ b/i386/cputest.c	Wed Apr 16 20:51:39 2008 +0000
@@ -45,25 +45,25 @@
     long a, c;
 
     __asm__ __volatile__ (
-                          /* See if CPUID instruction is supported ... */
-                          /* ... Get copies of EFLAGS into eax and ecx */
-                          "pushf\n\t"
-                          "pop %0\n\t"
-                          "mov %0, %1\n\t"
+        /* See if CPUID instruction is supported ... */
+        /* ... Get copies of EFLAGS into eax and ecx */
+        "pushf\n\t"
+        "pop %0\n\t"
+        "mov %0, %1\n\t"
 
-                          /* ... Toggle the ID bit in one copy and store */
-                          /*     to the EFLAGS reg */
-                          "xor $0x200000, %0\n\t"
-                          "push %0\n\t"
-                          "popf\n\t"
+        /* ... Toggle the ID bit in one copy and store */
+        /*     to the EFLAGS reg */
+        "xor $0x200000, %0\n\t"
+        "push %0\n\t"
+        "popf\n\t"
 
-                          /* ... Get the (hopefully modified) EFLAGS */
-                          "pushf\n\t"
-                          "pop %0\n\t"
-                          : "=a" (a), "=c" (c)
-                          :
-                          : "cc"
-                          );
+        /* ... Get the (hopefully modified) EFLAGS */
+        "pushf\n\t"
+        "pop %0\n\t"
+        : "=a" (a), "=c" (c)
+        :
+        : "cc"
+        );
 
     if (a == c)
         return 0; /* CPUID not supported */
@@ -119,9 +119,9 @@
 #ifdef TEST
 int main ( void )
 {
-  int mm_flags;
-  mm_flags = mm_support();
-  printf("mm_support = 0x%08X\n",mm_flags);
-  return 0;
+    int mm_flags;
+    mm_flags = mm_support();
+    printf("mm_support = 0x%08X\n",mm_flags);
+    return 0;
 }
 #endif