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));