print_cpu         742 kernel/sched/debug.c 		print_cpu(m, cpu);
print_cpu         755 kernel/sched/debug.c 		print_cpu(NULL, cpu);
print_cpu         293 kernel/time/timer_list.c 		print_cpu(NULL, cpu, now);
print_cpu         311 kernel/time/timer_list.c 		print_cpu(m, iter->cpu, iter->now);