You might want to add information more, how could I get the interrupt sources of each timer?
Please add page and name of the part in arm technical reference manual.