13.4.2.6 External Interrupt Controller (EIC) Clock Selection

The External Interrupt Controller (EIC) can be configured to use the OSC32K output clock. This clock is automatically requested by the EIC peripheral.