/* Reset the Instruction Cache The instruction cache must be disabled for this to have effect.  */
void flash_icache_reset(void)
/* Reset the Instruction Cache The instruction cache must be disabled for this to have effect.  */
void flash_icache_reset(void)
{
	FLASH_ACR |= FLASH_ACR_ICRST;
}