Estoy intentando averiguar cómo utilizar la función printf para imprimir en el puerto serie.
Mi configuración actual es STM32CubeMX código generado y SystemWorkbench32 con el Tarjeta de descubrimiento STM32F407 .
Veo en stdio.h que el prototipo printf está definido como
int _EXFUN(printf, (const char *__restrict, ...)
_ATTRIBUTE ((__format__ (__printf__, 1, 2))));
¿Qué significa? ¿Dónde se encuentra exactamente la definición de esta función? ¿Cuál sería el punto general de averiguar cómo utilizar este tipo de función a la salida?