Changeset cd8ad52 in mainline for kernel/test/synch/semaphore2.c

Timestamp:

2008-06-03T14:58:05Z (17 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

b63f8569

Parents:

7ac426e

Message:

proper printf formatting

File:

• kernel/test/synch/semaphore2.c (modified) (2 diffs)

kernel/test/synch/semaphore2.c

@@ -68 +68 @@
         
         to = random(20000);
-        printf("cpu%d, tid %llu down+ (%d)\n", CPU->id, THREAD->tid, to);
+        printf("cpu%u, tid %" PRIu64 " down+ (%d)\n", CPU->id, THREAD->tid, to);
         rc = semaphore_down_timeout(&sem, to);
         if (SYNCH_FAILED(rc)) {
-                printf("cpu%d, tid %llu down!\n", CPU->id, THREAD->tid);
+                printf("cpu%u, tid %" PRIu64 " down!\n", CPU->id, THREAD->tid);
                 return;
         }
         
-        printf("cpu%d, tid %llu down=\n", CPU->id, THREAD->tid);        
+        printf("cpu%u, tid %" PRIu64 " down=\n", CPU->id, THREAD->tid); 
         thread_usleep(random(30000));
         
         semaphore_up(&sem);
-        printf("cpu%d, tid %llu up\n", CPU->id, THREAD->tid);
+        printf("cpu%u, tid %" PRIu64 " up\n", CPU->id, THREAD->tid);
 }
 
@@ -92 +92 @@
         
         k = random(7) + 1;
-        printf("Creating %d consumers\n", k);
+        printf("Creating %" PRIu32 " consumers\n", k);
         for (i = 0; i < k; i++) {
                 thrd = thread_create(consumer, NULL, TASK, 0, "consumer", false);