I saw Table 2-1, that's where I got the 0x00A00600 from. However the entry for Table 2-1 for the range 00A0_0000 to 00A0_1FFF says private timers and watchdogs, so there's more than just one timer in there. What's the address of the local timer? Also I know that the first 32 interrupts are private to each of the cores. Here's what I know so far:
// GIC Interrupt Number Definitions
typedef enum
{
A9_Reset = 0, // Reset (Hardware Interrupt)
A9_UndefinedInstruction = 1, // Undefined Instruction (Hardware Interrupt)
A9_SupervisorCall = 2, // Supervisor Call (Hardware Interrupt)
A9_PrefetchAbort = 3, // Prefetch Abort (Hardware Interrupt)
A9_DataAbort = 4, // Data Abort (Hardware Interrupt)
A9_Reserved5 = 5, // Reserved (Hardware Interrupt)
A9_IRQ = 6, // IRQ (Hardware Interrupt)
A9_FIRQ = 7, // Fast IRQ (Hardware Interrupt)
A9_Reserved8 = 8, // Reserved (Hardware Interrupt)
A9_Reserved9 = 9, // Reserved (Hardware Interrupt)
A9_Reserved10 = 10, // Reserved (Hardware Interrupt)
A9_Reserved11 = 11, // Reserved (Hardware Interrupt)
A9_Reserved12 = 12, // Reserved (Hardware Interrupt)
A9_Reserved13 = 13, // Reserved (Hardware Interrupt)
A9_Reserved14 = 14, // Reserved (Hardware Interrupt)
A9_Reserved15 = 15, // Reserved (Hardware Interrupt)
GIC_SGI0 = 16, // Software Generated Interrupt
GIC_SGI1 = 17, // Software Generated Interrupt
GIC_SGI2 = 18, // Software Generated Interrupt
GIC_SGI3 = 19, // Software Generated Interrupt
GIC_SGI4 = 20, // Software Generated Interrupt
GIC_SGI5 = 21, // Software Generated Interrupt
GIC_SGI6 = 22, // Software Generated Interrupt
GIC_SGI7 = 23, // Software Generated Interrupt
GIC_SGI8 = 24, // Software Generated Interrupt
GIC_SGI9 = 25, // Software Generated Interrupt
GIC_SGI10 = 26, // Software Generated Interrupt
GIC_SGI11 = 27, // Software Generated Interrupt
GIC_SGI12 = 28, // Software Generated Interrupt
GIC_SGI13 = 29, // Software Generated Interrupt
GIC_SGI14 = 30, // Software Generated Interrupt
GIC_SGI15 = 31, // Software Generated Interrupt
GIC_IOMUXC = 32, // Private Peripheral Interrupt
GIC_DAP = 33, // Private Peripheral Interrupt
GIC_SDMA = 34, // Private Peripheral Interrupt
GIC_VPU_JPG = 35, // JPEG codec interrupt
GIC_SVNS = 36, // PMIC power off request
GIC_IPU = 37, // IPU error interrupt
So I figure that the timer interrupt is between 8-15 but which one? I'd also like to verify that my understanding of the local timer register set is correct. Anyone know?