Changeset 0108984a in mainline for kernel/generic/src/ipc/sysipc.c

Timestamp:

2008-09-17T13:38:18Z (16 years ago)

Author:

Jiri Svoboda <jirik.svoboda@…>

Branches:

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

Children:

c9a29d6

Parents:

fb9b0b0

Message:

Use LOG() instead of printf() for debug messages.

File:

• kernel/generic/src/ipc/sysipc.c (modified) (2 diffs)

kernel/generic/src/ipc/sysipc.c

@@ -46 +46 @@
 #include <udebug/udebug_ipc.h>
 #include <arch/interrupt.h>
-#include <print.h>
 #include <syscall/copy.h>
 #include <security/cap.h>
@@ -900 +899 @@
                 return (unative_t) rc;
 
-        printf("sys_ipc_connect_kbox(%lld, %d)\n", taskid_arg.value);
+        LOG("sys_ipc_connect_kbox(%" PRIu64 ")\n", taskid_arg.value);
 
         return ipc_connect_kbox(taskid_arg.value);