Title: PIC32 FRM Section 11. 32-Bit Timers