#ifndef _DEVICES_GPIO_H
#define _DEVICES_GPIO_H

#include <stdint.h>
#include "gen/gpio.h"

inline void gpio_init(volatile gpio_t* reg) {
    set_gpio_write(reg, 0);
    set_gpio_writeEnable(reg, 0);
}

#endif /* _DEVICES_GPIO_H */