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