spin_unlock_irqrestore(&rtc_lock, flags); 
unsigned long xicor_get_time(void){	unsigned int year, mon, day, hour, min, sec, y2k;	sec = xicor_read(X1241REG_SC);	min = xicor_read(X1241REG_MN);	hour = xicor_read(X1241REG_HR);	if (hour & X1241REG_HR_MIL) {		hour &= 0x3f;	} else {		if (hour & 0x20)			hour = (hour & 0xf) + 0x12;	}	day = xicor_read(X1241REG_DT);	mon = xicor_read(X1241REG_MO);	year = xicor_read(X1241REG_YR);	y2k = xicor_read(X1241REG_Y2K);	sec = BCD2BIN(sec);	min = BCD2BIN(min);	hour = BCD2BIN(hour);	day = BCD2BIN(day);	mon = BCD2BIN(mon);	year = BCD2BIN(year);	y2k = BCD2BIN(y2k);	year += (y2k * 100);	return mktime(year, mon, day, hour, min, sec);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/53c2df2f4ebbc1d8231ca7cc13ac5381230888b1/rtc_xicor1241.c/buggy/arch/mips/sibyte/swarm/rtc_xicor1241.c