From a5b36e2b5154d918c3833d5ef2b09196eab55d35 Mon Sep 17 00:00:00 2001 From: "Balazs Gerofi bgerofi@riken.jp" Date: Thu, 17 Jul 2014 12:28:57 +0900 Subject: [PATCH] dkprintf() support in kernel/listeners.c --- kernel/listeners.c | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/kernel/listeners.c b/kernel/listeners.c index e99e9ed9..f30ab889 100644 --- a/kernel/listeners.c +++ b/kernel/listeners.c @@ -18,6 +18,16 @@ #include #include +//#define DEBUG_LISTENERS + +#ifdef DEBUG_LISTENERS +#define dkprintf(...) kprintf(__VA_ARGS__) +#define ekprintf(...) kprintf(__VA_ARGS__) +#else +#define dkprintf(...) +#define ekprintf(...) kprintf(__VA_ARGS__) +#endif + static unsigned long read_tsc(void) { unsigned int low, high; @@ -103,5 +113,5 @@ static struct ihk_ikc_listen_param test_listen_param = { void mc_ikc_test_init(void) { ihk_ikc_listen_port(NULL, &test_listen_param); - kprintf("Listener registered port %d\n", 500); + dkprintf("Listener registered port %d\n", 500); }