NXP Semiconductors MKL25Z128VLK4 - Freescale Semiconductor, Inc

31.4.11.1 Timer Overflow Interrupt
The timer overflow interrupt is generated when (TOIE = 1) and (TOF = 1).
31.4.11.2 Channel (n) Interrupt
The channel (n) interrupt is generated when (CHnIE = 1) and (CHnF = 1).
Functional Description
KL25 Sub-Family Reference Manual, Rev. 3, September 2012
572 Freescale Semiconductor, Inc.