no_sched_irq_time  285 arch/x86/kernel/tsc.c static int no_sched_irq_time;
no_sched_irq_time  293 arch/x86/kernel/tsc.c 		no_sched_irq_time = 1;
no_sched_irq_time 1495 arch/x86/kernel/tsc.c 	if (!no_sched_irq_time)