tag	line	file	source code
cpl	305	kernel/sched.c	void do_timer(long cpl)
cpl	314	kernel/sched.c	if (cpl)
cpl	334	kernel/sched.c	if (!cpl) return;