Arndale Timer Interrupt Question

Hi Tushar / Samsung,

I am a bit confused on the interrupt number for CNTVIRQ..CNTHPIRQ. Can you please help here.

As per the exynos5 public manual What is the difference between  CPU_nCNTHPIRQ[0] and CNTHPIRQ. While the later has an interrupt ID 26, the former is part of a group with combined interrupt id as 33 for core 0 and 54 for core 1.

For a timer interrupt which goes to PL2, which id should be used 26 or 33 for core 0 ?

Please clear this confusion.

Many Thanks