firmware/inc/platform/stm32f4xx/syscfg.h

#ifndef _STM32F4XX_SYSCFG_H_
#define _STM32F4XX_SYSCFG_H_

#include <plat/inc/gpio.h>
#include <gpio.h>

#ifdef __cplusplus
extern "C" {
#endif

void syscfgSetExtiPort(const struct Gpio *__restrict gpio);

#ifdef __cplusplus
}
#endif

#endif