void __init tx3927_time_init(unsigned int evt_tmrnr, unsigned int src_tmrnr) { txx9_clockevent_init(TX3927_TMR_REG(evt_tmrnr), TXX9_IRQ_BASE + TX3927_IR_TMR(evt_tmrnr), TXX9_IMCLK); txx9_clocksource_init(TX3927_TMR_REG(src_tmrnr), TXX9_IMCLK); }
void __init tx3927_irq_init(void) { int i; txx9_irq_init(TX3927_IRC_REG); /* raise priority for timers, sio */ for (i = 0; i < TX3927_NR_TMR; i++) txx9_irq_set_pri(TX3927_IR_TMR(i), 6); for (i = 0; i < TX3927_NR_SIO; i++) txx9_irq_set_pri(TX3927_IR_SIO(i), 7); }