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