/* Disable/enable reset for various peripherals and signal sources.  */
void RMU_ResetControl(RMU_Reset_TypeDef reset, bool enable)
/* Disable/enable reset for various peripherals and signal sources.  */
void RMU_ResetControl(RMU_Reset_TypeDef reset, bool enable)
{
  BITBAND_Peripheral(&(RMU->CTRL), (uint32_t)reset, (uint32_t)enable);
}