/* Reset the Data Cache The data cache must be disabled for this to have effect.  */
void flash_dcache_reset(void)
/* Reset the Data Cache The data cache must be disabled for this to have effect.  */
void flash_dcache_reset(void)
{
	FLASH_ACR |= FLASH_ACR_DCRST;
}