spin_unlock_irqrestore(&rtc_lock, flags); 
unsigned long ds1603_read(void){	unsigned long word;	rtc_init_op();	rtc_write_byte(READ_TIME_CMD);	word = rtc_read_word();	rtc_end_op();	return word;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/53c2df2f4ebbc1d8231ca7cc13ac5381230888b1/ds1603.c/buggy/arch/mips/lasat/ds1603.c