The 1 register of WDT (Watchdog timer), from 0xBF800C00, with their reset value and every field. The PIC32MK1024MCF064 has 1848 registers in 120 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.