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