/* We already have irqsave on, so no need for it here. */ read_lock(&xtime_lock); jiffies_now = jiffies; smi_info->si_timer.expires = jiffies_now; smi_info->si_timer.sub_expires = get_arch_cycles(jiffies_now); 
do { seq = read_seqbegin_irqsave(&xtime_lock, flags); jiffies_now = jiffies; smi_info->si_timer.expires = jiffies_now; smi_info->si_timer.arch_cycle_expires = get_arch_cycles(jiffies_now); } while (read_seqretry_irqrestore(&xtime_lock, seq, flags)); 
static void si_restart_short_timer(struct smi_info *smi_info){#if defined(CONFIG_HIGH_RES_TIMERS)	unsigned long flags;	unsigned long jiffies_now;	if (del_timer(&(smi_info->si_timer))) {		/* If we don't delete the timer, then it will go off		   immediately, anyway.  So we only process if we		   actually delete the timer. */		/* We already have irqsave on, so no need for it                   here. */		read_lock(&xtime_lock);		jiffies_now = jiffies;		smi_info->si_timer.expires = jiffies_now;		smi_info->si_timer.sub_expires = get_arch_cycles(jiffies_now);		add_usec_to_timer(&smi_info->si_timer, SI_SHORT_TIMEOUT_USEC);		add_timer(&(smi_info->si_timer));		spin_lock_irqsave(&smi_info->count_lock, flags);		smi_info->timeout_restarts++;		spin_unlock_irqrestore(&smi_info->count_lock, flags);	}#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/75b0768a396f2a25901b7b1edc87b95cdb3af4ef/ipmi_si_intf.c/clean/drivers/char/ipmi/ipmi_si_intf.c