Changeset fbf7b4c in mainline for generic/src/proc

Timestamp:

2006-06-18T10:52:41Z (20 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

e600ec4

Parents:

281994b

Message:

make kernel prints case consistent

Location:

generic/src/proc

Files:

• task.c (modified) (1 diff)
• thread.c (modified) (2 diffs)

generic/src/proc/task.c

@@ -356 +356 @@
                 
                         spinlock_lock(&t->lock);
-                        printf("%s(%lld): address=%#zX, as=%#zX, ActiveCalls: %zd",
+                        printf("%s(%lld): address=%#zx, as=%#zx, ActiveCalls: %zd",
                                 t->name, t->taskid, t, t->as, atomic_get(&t->active_calls));
                         for (j=0; j < IPC_MAX_PHONES; j++) {
                                 if (t->phones[j].callee)
-                                        printf(" Ph(%zd): %#zX ", j, t->phones[j].callee);
+                                        printf(" Ph(%zd): %#zx ", j, t->phones[j].callee);
                         }
                         printf("\n");

generic/src/proc/thread.c

@@ -537 +537 @@
                 
                         t = (thread_t *) node->value[i];
-                        printf("%s: address=%#zX, tid=%zd, state=%s, task=%#zX, code=%#zX, stack=%#zX, cpu=",
+                        printf("%s: address=%#zx, tid=%zd, state=%s, task=%#zx, code=%#zx, stack=%#zx, cpu=",
                                 t->name, t, t->tid, thread_states[t->state], t->task, t->thread_code, t->kstack);
                         if (t->cpu)
@@ -544 +544 @@
                                 printf("none");
                         if (t->state == Sleeping) {
-                                printf(", kst=%#zX", t->kstack);
-                                printf(", wq=%#zX", t->sleep_queue);
+                                printf(", kst=%#zx", t->kstack);
+                                printf(", wq=%#zx", t->sleep_queue);
                         }
                         printf("\n");