The 3 registers of TMR9 (Timer 9), from 0xBF821000, with their reset value and every field. The PIC32MK1024GPK064 has 1153 registers in 106 peripherals, one page each.
Most PIC32 SFRs have three more registers right after them: CLR at +4, SET at +8 and INV at +C (T1CONCLR, T1CONSET, T1CONINV), which clear, set or flip just the bits written as 1, in one write.
TMR9 Timer 9
T9CONTimer Configuration
Address
0xBF821000
Reset
0x00000000
Access
read/write
Size
32-bit
7 fields
Field
Bits
What it does
ON
15
Timer On bit
0 Module is disabled
1 Module is enabled
SIDL
13
Stop in Idle Mode bit
0 Continue operation even in Idle mode
1 Discontinue operation when device enters Idle mode
SYNC
8
Synchronized Timer Start/Stop Enable bit
0 Synchronized timer Start/Stop is disabled
1 Synchronized timer Start/Stop is enabled
TGATE
7
Timer Gated Time Accumulation Enable bit
0 (When TCS is 1) This bit is ignored and read as 0 / (When TCS is 0)Gated time accumulation is disabled
1 (When TCS is 1) This bit is ignored and read as 0 / (When TCS is 0)Gated time accumulation is enabled