Changeset cc85fb9 in mainline

Timestamp:

2007-04-19T18:23:31Z (18 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

4b662f8c

Parents:

4365d10

Message:

Indentation and formatting fixes.

Location:

kernel

Files:

• arch/sparc64/include/barrier.h (modified) (1 diff)
• arch/sparc64/src/cpu/cpu.c (modified) (1 diff)
• arch/sparc64/src/mm/as.c (modified) (2 diffs)
• arch/sparc64/src/proc/scheduler.c (modified) (1 diff)
• arch/sparc64/src/proc/thread.c (modified) (2 diffs)
• arch/sparc64/src/smp/ipi.c (modified) (1 diff)
• arch/sparc64/src/smp/smp.c (modified) (1 diff)
• generic/src/lib/memstr.c (modified) (1 diff)

kernel/arch/sparc64/include/barrier.h

@@ -40 +40 @@
  */
 #define CS_ENTER_BARRIER()                              \
-        asm volatile (                          \
+        asm volatile (                                  \
                 "membar #LoadLoad | #LoadStore\n"       \
                 ::: "memory"                            \
         )
 #define CS_LEAVE_BARRIER()                              \
-        asm volatile (                          \
+        asm volatile (                                  \
                 "membar #StoreStore\n"                  \
                 "membar #LoadStore\n"                   \

kernel/arch/sparc64/src/cpu/cpu.c

@@ -64 +64 @@
                         if (mid == CPU->arch.mid) {
                                 prop = ofw_tree_getprop(node,
-                                        "clock-frequency");
+                                    "clock-frequency");
                                 if (prop && prop->value)
                                         clock_frequency = *((uint32_t *)
-                                                prop->value);
+                                            prop->value);
                         }
                 }

kernel/arch/sparc64/src/mm/as.c

@@ -67 +67 @@
         int order = fnzb32(((ITSB_ENTRY_COUNT + DTSB_ENTRY_COUNT) *
             sizeof(tsb_entry_t)) >> FRAME_WIDTH);
+
         uintptr_t tsb = (uintptr_t) frame_alloc(order, flags | FRAME_KA);
 
@@ -75 +76 @@
         as->arch.dtsb = (tsb_entry_t *) (tsb + ITSB_ENTRY_COUNT *
             sizeof(tsb_entry_t));
+
         memsetb((uintptr_t) as->arch.itsb,
             (ITSB_ENTRY_COUNT + DTSB_ENTRY_COUNT) * sizeof(tsb_entry_t), 0);

kernel/arch/sparc64/src/proc/scheduler.c

@@ -63 +63 @@
                  *   before it explicitly uses %g7.
                  */
-                uint64_t sp = (uintptr_t) THREAD->kstack + STACK_SIZE
-                        - (STACK_BIAS + ALIGN_UP(STACK_ITEM_SIZE,
-                        STACK_ALIGNMENT));
+                uint64_t sp = (uintptr_t) THREAD->kstack + STACK_SIZE -
+                    (STACK_BIAS + ALIGN_UP(STACK_ITEM_SIZE, STACK_ALIGNMENT));
                 write_to_ig_g6(sp);
                 write_to_ag_g6(sp);

kernel/arch/sparc64/src/proc/thread.c

@@ -56 +56 @@
                  */
                 frame_free(KA2PA(ALIGN_DOWN((uintptr_t)
-                        t->arch.uspace_window_buffer, PAGE_SIZE)));
+                    t->arch.uspace_window_buffer, PAGE_SIZE)));
         }
 }
@@ -76 +76 @@
                  * belonging to a killed thread.
                  */
-                 t->arch.uspace_window_buffer = (uint8_t *) ALIGN_DOWN(uw_buf,
-                        PAGE_SIZE);
+                t->arch.uspace_window_buffer = (uint8_t *) ALIGN_DOWN(uw_buf,
+                    PAGE_SIZE);
         }
 }

kernel/arch/sparc64/src/smp/ipi.c

@@ -75 +75 @@
         
         do {
-                asi_u64_write(ASI_UDB_INTR_W, ASI_UDB_INTR_W_DATA_0, (uintptr_t)
-                        func);
+                asi_u64_write(ASI_UDB_INTR_W, ASI_UDB_INTR_W_DATA_0,
+                    (uintptr_t) func);
                 asi_u64_write(ASI_UDB_INTR_W, ASI_UDB_INTR_W_DATA_1, 0);
                 asi_u64_write(ASI_UDB_INTR_W, ASI_UDB_INTR_W_DATA_2, 0);

kernel/arch/sparc64/src/smp/smp.c

@@ -101 +101 @@
                 if (waitq_sleep_timeout(&ap_completion_wq, 1000000, SYNCH_FLAGS_NONE) == ESYNCH_TIMEOUT)
                         printf("%s: waiting for processor (mid = %d) timed out\n",
-                                __FUNCTION__, mid);
+                            __FUNCTION__, mid);
         }
 }

kernel/generic/src/lib/memstr.c

@@ -131 +131 @@
         char *orig = dest;
         
-        while ((*(dest++) = *(src++)));
+        while ((*(dest++) = *(src++)))
+                ;
         return orig;
 }