Hello NXP team,
In the reference manual of S32K1 (S32K-RM) there are two contradictory statements about the possibility of changing the CCR register. As highlighted in the images below, first it says that to change this register, the module must be disabled. And elsewhere it says that the module should not be at busy state.

//////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

The question is that, is it possible to change the CCR register when the module is enabled but is not busy (it is at idle state)?
Regards,
Jembed