/* get EXTI lines flag when the interrupt flag is set  */
FlagStatus exti_interrupt_flag_get(exti_line_enum linex)
/* get EXTI lines flag when the interrupt flag is set  */
FlagStatus exti_interrupt_flag_get(exti_line_enum linex)
{
    uint32_t flag_left, flag_right;
    flag_left = EXTI_PD & (uint32_t) linex;
    flag_right = EXTI_INTEN & (uint32_t) linex;
    if ((RESET != flag_left) && (RESET != flag_right)) {
        return SET;
    } else {
        return RESET;
    }
}