#include <stdint.h>

int eos_gpio_get(uint32_t reg, int pin);
void eos_gpio_set(uint32_t reg, int pin);
void eos_gpio_clear(uint32_t reg, int pin);