ipc: add missing printf argument.

A printf statement that only gets compiled when DEBUG_SEM is
defined had a '%' conversion without a corresponding argument.
This patch adds the argument.

Change-Id: I808076f7723baad111ab6fe8a0766d1da4904fd7

diff --git a/servers/ipc/sem.c b/servers/ipc/sem.c
index 5b1876a5278d07e700eccf83d13db342f0d107fc..e59cfaf5bb5306fa89a3977d4418051b7c7fc586 100644 (file)
--- a/servers/ipc/sem.c
+++ b/servers/ipc/sem.c
@@ -394,7 +394,7 @@ int do_semctl(message *m)
                if (r != OK)
                        return EINVAL;
 #ifdef DEBUG_SEM
-               printf("SEMCTL: SETALL: opt: %p\n");
+               printf("SEMCTL: SETALL: opt: %lu\n", (vir_bytes) opt);
                for (i = 0; i < sem->semid_ds.sem_nsems; i++)
                        printf("SEMCTL: SETALL val: [%d] %d\n", i, buf[i]);
 #endif