tag	line	file	source code
real_seconds	397	kernel/time.c	short real_seconds = nowtime % 60, real_minutes = (nowtime / 60) % 60;
real_seconds	421	kernel/time.c	BIN_TO_BCD(real_seconds);
real_seconds	424	kernel/time.c	CMOS_WRITE(real_seconds,RTC_SECONDS);