spin_unlock_irqrestore(&rtc_lock, flags); 
int ds1603_set(unsigned long time){	rtc_init_op();	rtc_write_byte(SET_TIME_CMD);	rtc_write_word(time);	rtc_end_op();	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/53c2df2f4ebbc1d8231ca7cc13ac5381230888b1/ds1603.c/buggy/arch/mips/lasat/ds1603.c