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