/* Initializes the U32Kx peripheral registers to their default reset values.  */
void U32K_DeInit(U32K_Type *U32Kx)
/* Initializes the U32Kx peripheral registers to their default reset values.  */
void U32K_DeInit(U32K_Type *U32Kx)
{
  assert_parameters(IS_U32K_ALL_INSTANCE(U32Kx));
  U32Kx->CTRL0 &= ~U32K_CTRL0_EN;
  U32Kx->STS = U32K_STS_Msk;
  U32Kx->CTRL0 = U32K_CTRL0_RSTValue;
  U32Kx->CTRL1 = U32K_CTRL1_RSTValue;
  U32Kx->BAUDDIV = U32K_PHASE_RSTValue;
}