tag	line	file	source code
STA_INS	572	kernel/sched.c	if (time_status & STA_INS)
STA_INS	600	kernel/sched.c	if (!(time_status & (STA_INS | STA_DEL)))