IRQ_OST0 54 arch/arm/mach-pxa/generic.c pxa_timer_nodt_init(IRQ_OST0, io_p2v(0x40a00000)); IRQ_OST0 411 arch/arm/mach-sa1100/generic.c pxa_timer_nodt_init(IRQ_OST0, io_p2v(0x90000000));