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 -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
