src/arch/socs/stm32f439/C/soc-exti.c
bool soc_exti_is_free(gpioref_t kref)
{
    uint32_t exti_line_im = get_reg_value(EXTI_IMR, 0x1 << kref.pin, kref.pin);
    if (exti_line_im == 1) {
        /**
         * The Interrupt Mask for this EXTI line is set to 1, this means that
         * it as already been set previously.
         * This line is busy and can't be overridden.
         */
        return false;
    }
    return true;
}
/**
 * return true if the EXTI line associated to the GPIO pin is not
 * already set
 */
return true if the EXTI line associated to the GPIO pin is not
already set
return true if the EXTI line associated to the GPIO pin is not already set
bool soc_exti_is_free(gpioref_t kref)
{
    uint32_t exti_line_im = get_reg_value(EXTI_IMR, 0x1 << kref.pin, kref.pin);
    if (exti_line_im == 1) {
        return false;
    }
    return true;
}
bool soc_exti_is_free ( gpioref_t kref ) { uint32_t exti_line_im = get_reg_value ( EXTI_IMR , 0x1 << kref . pin , kref . pin ) ; if ( exti_line_im == 1 ) { return false ; } return true ; }
return true if the EXTI line associated to the GPIO pin is not
 already set
return true if the EXTI line associated to the GPIO pin is not already set
/**
         * The Interrupt Mask for this EXTI line is set to 1, this means that
         * it as already been set previously.
         * This line is busy and can't be overridden.
         */