/* Configure the timer to generate an interrupt in the specified amount of ticks  */
static int timer_1_set_next_event(unsigned long delta, struct clock_event_device *c)
/* Configure the timer to generate an interrupt in the specified amount of ticks  */
static int timer_1_set_next_event(unsigned long delta, struct clock_event_device *c)
{
	unsigned long ctrl;
	unsigned long flags;
	raw_local_irq_save(flags);
	MSS_TIMER->tim1_loadval = delta;
	ctrl = TIMER_CTRL_ENBL | TIMER_CTRL_ONESHOT | TIMER_CTRL_INTR;
	MSS_TIMER->tim1_ctrl = ctrl;
	raw_local_irq_restore(flags);
	return 0;
}