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