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