/* Set the msi range after reset/standby. Until MSIRGSEl bit is set, this defines the MSI range. Note that not all MSI range values are allowed here!  */
void rcc_set_msi_range_standby(uint32_t msi_range)
/* Set the msi range after reset/standby. Until MSIRGSEl bit is set, this defines the MSI range. Note that not all MSI range values are allowed here!  */
void rcc_set_msi_range_standby(uint32_t msi_range)
{
	uint32_t reg = RCC_CSR;
	reg &= ~(RCC_CSR_MSIRANGE_MASK << RCC_CSR_MSIRANGE_SHIFT);
	reg |= msi_range << RCC_CSR_MSIRANGE_SHIFT;
	RCC_CSR = reg;
}