return NOTIFY_OK;
 }
 
-/*
- * Worst case string length in chunks of CPU range seems 2 steps
- * separations: 0,2,4,6,...
- * This is NR_CPUS + sizeof('\0')
- */
-static char __initdata nohz_full_buf[NR_CPUS + 1];
-
 static int tick_nohz_init_all(void)
 {
        int err = -1;
                context_tracking_cpu_set(cpu);
 
        cpu_notifier(tick_nohz_cpu_down_callback, 0);
-       cpulist_scnprintf(nohz_full_buf, sizeof(nohz_full_buf), tick_nohz_full_mask);
-       pr_info("NO_HZ: Full dynticks CPUs: %s.\n", nohz_full_buf);
+       pr_info("NO_HZ: Full dynticks CPUs: %*pbl.\n",
+               cpumask_pr_args(tick_nohz_full_mask));
 }
 #endif