taglinefilesource code
get_cmos_time362arch/i386/kernel/time.cxtime.tv_sec = get_cmos_time();
get_cmos_time66drivers/char/apm_bios.cextern unsigned long get_cmos_time(void);
get_cmos_time579drivers/char/apm_bios.cCURRENT_TIME = get_cmos_time() + clock_cmos_diff;
get_cmos_time592drivers/char/apm_bios.cclock_cmos_diff = CURRENT_TIME - get_cmos_time();