/* Switch off the voltage regulator to put the device in backup mode.  */
void supc_enable_backup_mode(Supc *p_supc)
/* Switch off the voltage regulator to put the device in backup mode.  */
void supc_enable_backup_mode(Supc *p_supc)
{
	p_supc->SUPC_CR = SUPC_CR_KEY_PASSWD | SUPC_CR_VROFF;
	uint32_t ul_dummy = p_supc->SUPC_MR;
	__DSB();
	__WFE();
	__WFI();
	UNUSED(ul_dummy);
}