Searched refs:pxa_timer_nodt_init (Results 1 – 4 of 4) sorted by relevance
11 extern void pxa_timer_nodt_init(int irq, void __iomem *base);
57 pxa_timer_nodt_init(IRQ_OST0, io_p2v(0x40a00000)); in pxa_timer_init()
215 void __init pxa_timer_nodt_init(int irq, void __iomem *base) in pxa_timer_nodt_init() function
411 pxa_timer_nodt_init(IRQ_OST0, io_p2v(0x90000000)); in sa1100_timer_init()