pxa_timer_nodt_init   54 arch/arm/mach-pxa/generic.c 	pxa_timer_nodt_init(IRQ_OST0, io_p2v(0x40a00000));
pxa_timer_nodt_init  411 arch/arm/mach-sa1100/generic.c 	pxa_timer_nodt_init(IRQ_OST0, io_p2v(0x90000000));
pxa_timer_nodt_init   11 include/clocksource/pxa.h extern void pxa_timer_nodt_init(int irq, void __iomem *base);