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);}