spin_unlock_irqrestore(&rtc_lock, flags); 
unsigned long m48t37y_get_time(void){	unsigned int year, month, day, hour, min, sec;	/* stop the update */	rtc_base[0x7ff8] = 0x40;	year = BCD2BIN(rtc_base[0x7fff]);	year += BCD2BIN(rtc_base[0x7ff1]) * 100;	month = BCD2BIN(rtc_base[0x7ffe]);	day = BCD2BIN(rtc_base[0x7ffd]);	hour = BCD2BIN(rtc_base[0x7ffb]);	min = BCD2BIN(rtc_base[0x7ffa]);	sec = BCD2BIN(rtc_base[0x7ff9]);	/* start the update */	rtc_base[0x7ff8] = 0x00;	return mktime(year, month, day, hour, min, sec);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/53c2df2f4ebbc1d8231ca7cc13ac5381230888b1/setup.c/clean/arch/mips/momentum/jaguar_atx/setup.c