/* Disable the FLASH Prefetch Buffer. 
Note carefully the clock restrictions under which the prefetch buffer may be set to disabled. See the reference manual for details.  */
void flash_prefetch_buffer_disable(void)
/* Disable the FLASH Prefetch Buffer. 
Note carefully the clock restrictions under which the prefetch buffer may be set to disabled. See the reference manual for details.  */
void flash_prefetch_buffer_disable(void)
{
	FLASH_ACR &= ~FLASH_ACR_PRFTBE;
}