/* Disable the FLASH Prefetch Buffer. 
Note carefully the restrictions under which the prefetch buffer may be set to disabled. See the reference and programming manuals for details.  */
void flash_prefetch_disable(void)
/* Disable the FLASH Prefetch Buffer. 
Note carefully the restrictions under which the prefetch buffer may be set to disabled. See the reference and programming manuals for details.  */
void flash_prefetch_disable(void)
{
	FLASH_ACR &= ~FLASH_ACR_PRFTEN;
}