Changeset d78d603 in mainline for kernel/generic/src

Timestamp:

2007-01-10T13:11:28Z (18 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

c738d65

Parents:

4e33b6b

Message:

Formatting and indentation fixes.

File:

• kernel/generic/src/proc/scheduler.c (modified) (1 diff)

kernel/generic/src/proc/scheduler.c

@@ -502 +502 @@
         printf("cpu%d: tid %d (priority=%d, ticks=%lld, nrdy=%ld)\n",
                 CPU->id, THREAD->tid, THREAD->priority, THREAD->ticks,
-                        atomic_get(&CPU->nrdy));
+                atomic_get(&CPU->nrdy));
 #endif