The 3 registers of TMR4 (Timer 4), from 0xBF820600, with their reset value and every field. The PIC32MK0256MCJ048 has 1276 registers in 85 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.
TMR4 Timer 4
T4CONTimer Configuration
Address
0xBF820600
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