/* Checks if the Backup DRx registers are reset or not.  */
uint32_t IsBackupRegReset(void)
/* Checks if the Backup DRx registers are reset or not.  */
uint32_t IsBackupRegReset(void)
{
  uint32_t index = 0;
  for (index = 0; index < BKP_DR_NUMBER; index++)
  {
    if (BKP_ReadBackupRegister(BKPDataReg[index]) != 0x0000)
    {
      return (index + 1);
    }
  }
  return 0;  
}