/* Configure the internal OSCULP32K oscillator clock source. 
Configures the Ultra Low Power 32KHz internal RC oscillator with the given configuration settings. */
void system_clock_source_osculp32k_set_config(struct system_clock_source_osculp32k_config *const config)
/* Configure the internal OSCULP32K oscillator clock source. 
Configures the Ultra Low Power 32KHz internal RC oscillator with the given configuration settings. */
void system_clock_source_osculp32k_set_config(struct system_clock_source_osculp32k_config *const config)
{
	OSC32KCTRL_OSCULP32K_Type temp = OSC32KCTRL->OSCULP32K;
	temp.bit.WRTLOCK  = config->write_once;
	OSC32KCTRL->OSCULP32K  = temp;
}