/* 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)
{
    FlagStatus bitstatus = RESET;
    if ((FLASH->ACR & FLASH_ACR_PRFTBS) != (uint32_t)RESET)
    {
        bitstatus = SET;
    }
    else
    {
        bitstatus = RESET;
    }
    return bitstatus;
}