spin_unlock_irqrestore(&rtc_lock, flags); 
rtc_ds1742_get_time(void){	unsigned int year, month, day, hour, minute, second;	unsigned int century;	CMOS_WRITE(RTC_READ, RTC_CONTROL);	second = BCD2BIN(CMOS_READ(RTC_SECONDS) & RTC_SECONDS_MASK);	minute = BCD2BIN(CMOS_READ(RTC_MINUTES));	hour = BCD2BIN(CMOS_READ(RTC_HOURS));	day = BCD2BIN(CMOS_READ(RTC_DATE));	month = BCD2BIN(CMOS_READ(RTC_MONTH));	year = BCD2BIN(CMOS_READ(RTC_YEAR));	century = BCD2BIN(CMOS_READ(RTC_CENTURY) & RTC_CENTURY_MASK);	CMOS_WRITE(0, RTC_CONTROL);	year += century * 100;	return mktime(year, month, day, hour, minute, second);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/53c2df2f4ebbc1d8231ca7cc13ac5381230888b1/rtc_ds1742.c/buggy/arch/mips/jmr3927/common/rtc_ds1742.c