/* Configure HSI16 clock division factor to feed SYSCLK.  */
void rcc_set_hsisys_div(uint32_t hsidiv)
/* Configure HSI16 clock division factor to feed SYSCLK.  */
void rcc_set_hsisys_div(uint32_t hsidiv)
{
	uint32_t reg32;
	reg32 = RCC_CR;
	reg32 &= ~(RCC_CR_HSIDIV_MASK << RCC_CR_HSIDIV_SHIFT);
	RCC_CR = (reg32 | (hsidiv << RCC_CR_HSIDIV_SHIFT));
}