/* Checks whether the Tamper Pin Event flag is set or not.  */
FlagStatus BKP_GetFlagStatus(void)
/* Checks whether the Tamper Pin Event flag is set or not.  */
FlagStatus BKP_GetFlagStatus(void)
{
  return (FlagStatus)(*(__IO uint32_t *) CSR_TEF_BB);
}