tag	line	file	source code
TIMER_BH	823	kernel/sched.c	mark_bh(TIMER_BH);
TIMER_BH	827	kernel/sched.c	mark_bh(TIMER_BH);
TIMER_BH	983	kernel/sched.c	bh_base[TIMER_BH].routine = timer_bh;
TIMER_BH	986	kernel/sched.c	enable_bh(TIMER_BH);