taglinefilesource code
get_cmos_time359arch/i386/kernel/time.cxtime.tv_sec = get_cmos_time();
get_cmos_time54drivers/char/apm_bios.cextern unsigned long get_cmos_time(void);
get_cmos_time552drivers/char/apm_bios.cCURRENT_TIME = get_cmos_time() + clock_cmos_diff;
get_cmos_time565drivers/char/apm_bios.cclock_cmos_diff = CURRENT_TIME - get_cmos_time();