kernels/linux-2.4.0/arch/ia64/kernel/time.c
/*
 * Interrupts must be disabled before calling this routine.
 */
Interrupts must be disabled before calling this routine.
Interrupts must be disabled before calling this routine .
void
ia64_reset_itm (void)
{
	timer_interrupt(0, 0, ia64_task_regs(current));
}
void ia64_reset_itm ( void ) { timer_interrupt ( 0 , 0 , ia64_task_regs ( current ) ) ; }
Interrupts must be disabled before calling this routine.
Interrupts must be disabled before calling this routine .