1 files changed, 4 insertions, 4 deletions

diff --git a/litmus/sched_mc.c b/litmus/sched_mc.c
index 04fbe0974805..f4037bb1dfe2 100644
--- a/litmus/sched_mc.c
+++ b/litmus/sched_mc.c
@@ -1217,11 +1217,11 @@ static int __init init_mc(void)
 
 #if CONFIG_FTRACE_CPU != NO_CPU
         cpumask_andnot(&rt_mask, cpu_online_mask, cpumask_of(CONFIG_FTRACE_CPU));
-        TRACE("%d %d %d\n", cpumask_bits(&rt_mask),
-              cpumask_bits(cpu_online_mask),
-              cpumask_bits(cpumask_of(CONFIG_FTRACE_CPU)));
+        printk(KERN_INFO "LITMUS-MC: %lu %lu %lu\n", *cpumask_bits(&rt_mask),
+              *cpumask_bits(cpu_online_mask),
+              *cpumask_bits(cpumask_of(CONFIG_FTRACE_CPU)));
         for_each_rt_cpu(cpu) {
-                TRACE("Cpu: %d\n", cpu);
+                printk(KERN_INFO "LITMUS-MC: Cpu: %d\n", cpu);
         }
 #endif