/* Checks whether the Tamper Pin Interrupt has occurred or not.  */
INTStatus BKP_GetTINTFlag(void)
/* Checks whether the Tamper Pin Interrupt has occurred or not.  */
INTStatus BKP_GetTINTFlag(void)
{
    return (INTStatus)(*(__IO uint32_t*)CTRLSTS_TINTF_BB);
}