/* Checks whether the FLASH Prefetch Buffer status is set or not.  */
FlagStatus FLASH_GetPrefetchBufferStatus(void)
/* Checks whether the FLASH Prefetch Buffer status is set or not.  */
FlagStatus FLASH_GetPrefetchBufferStatus(void)
{
    return (FLASH->ACR & FLASH_ACR_PRFTBS) ? SET : RESET;
}