spin_unlock_irq(&rtc_task_lock); 
spin_unlock_irqrestore(&rtc_task_lock, flags); 
int rtc_control(rtc_task_t *task, unsigned int cmd, unsigned long arg){#ifndef RTC_IRQ	return -EIO;#else	spin_lock_irq(&rtc_task_lock);	if (rtc_callback != task) {		spin_unlock_irq(&rtc_task_lock);		return -ENXIO;	}	spin_unlock_irq(&rtc_task_lock);	return rtc_do_ioctl(cmd, arg, 1);#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c3348760aaffd268f7e91b2185999025fdc5607f/rtc.c/clean/drivers/char/rtc.c