#ifndef _DEVICES_GPIO_H
#define _DEVICES_GPIO_H
#include <stdint.h>
#include "gen/gpio.h"
inline void gpio_init(gpio_t* reg) {
set_gpio_write(reg, 0);
set_gpio_writeEnable(reg, 0);
}
#endif /* _DEVICES_GPIO_H */