/* Reset the ART Cache. 
The ART cache must be disabled for this to have effect.  */
void flash_art_reset(void)
/* Reset the ART Cache. 
The ART cache must be disabled for this to have effect.  */
void flash_art_reset(void)
{
	FLASH_ACR |= FLASH_ACR_ARTRST;
}