static void gpio_toggle(uint32_t port, uint16_t pin)
void gpio_set(uint32_t port, uint16_t pin)
Set a gpio output to high level.
void gpio_clear(uint32_t port, uint16_t pin)
Clear a gpio output to low level.
void gpio_setup_input(uint32_t port, uint16_t gpios)
Setup one or more pins of the given GPIO port as inputs.
void gpio_setup_output(uint32_t port, uint16_t gpios)
Setup one or more pins of the given GPIO port as outputs.