From 00824470439b7bab3ccfade7c98908fbb6ad33e5 Mon Sep 17 00:00:00 2001
From: Masamichi Takagi <masamichi.takagi@riken.jp>
Date: Fri, 3 Apr 2020 16:09:41 +0900
Subject: [PATCH] mcctrl_get_request_os_cpu: Fix debug message

Change-Id: I0d2ae427b97b7284d61dd13825d4ba3d2130f26a
---
 executer/kernel/mcctrl/control.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/executer/kernel/mcctrl/control.c b/executer/kernel/mcctrl/control.c
index 949217b3..7a7212c1 100644
--- a/executer/kernel/mcctrl/control.c
+++ b/executer/kernel/mcctrl/control.c
@@ -3458,7 +3458,8 @@ int mcctrl_get_request_os_cpu(ihk_os_t os, int *ret_cpu)
 	*ret_cpu = ch->send.queue->read_cpu;
 	ret = 0;
 
-	printk("%s: OS: %p, CPU: %d\n", __FUNCTION__, os, *ret_cpu);
+	pr_info("%s: OS: %lx, CPU: %d\n",
+		__func__, (unsigned long)os, *ret_cpu);
 
 out_put_ppd:
 	mcctrl_put_per_thread_data(ptd);