10#include "stm32g4xx_hal.h"
24void core_GPIO_init(GPIO_TypeDef *port, uint16_t pin, uint16_t dir, uint32_t pull);
void core_GPIO_digital_write(GPIO_TypeDef *port, uint16_t pin, bool state)
Set a digital output.
Definition gpio.c:25
void core_GPIO_init(GPIO_TypeDef *port, uint16_t pin, uint16_t dir, uint32_t pull)
Initialize a GPIO pin.
Definition gpio.c:11
bool core_GPIO_digital_read(GPIO_TypeDef *port, uint16_t pin)
Read a digital input.
Definition gpio.c:30
void core_GPIO_toggle_heartbeat()
Toggle the heartbeat LED output.
Definition gpio.c:43
void core_heartbeat_init(GPIO_TypeDef *port, uint16_t pin)
Set a particular pin as the heartbeat LED output.
Definition gpio.c:35
void core_GPIO_set_heartbeat(bool state)
Set the state of the heartbeat LED.
Definition gpio.c:48