From 10d6e1a8d290415bcda127ca8fef5c60be157299 Mon Sep 17 00:00:00 2001
From: Thomas Cort <tcort@minix3.org>
Date: Fri, 11 Oct 2013 10:29:16 -0400
Subject: [PATCH] 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
---
 servers/ipc/sem.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/servers/ipc/sem.c b/servers/ipc/sem.c
index 5b1876a52..e59cfaf5b 100644
--- 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