/* Enable the FLASH Prefetch Buffer. 
Note carefully the restrictions under which the prefetch buffer may be enabled or disabled. Prefetch is only available when 64-bit access is enabled.  */
void flash_prefetch_enable(void)
/* Enable the FLASH Prefetch Buffer. 
Note carefully the restrictions under which the prefetch buffer may be enabled or disabled. Prefetch is only available when 64-bit access is enabled.  */
void flash_prefetch_enable(void)
{
	FLASH_ACR |= FLASH_ACR_PRFTEN;
}