int lm3s_gpio_pin_config(uint32_t port, uint8_t pins,
uint32_t mode, uint32_t strength, uint32_t type);
void lm3s_gpio_pin_write(uint32_t port, uint8_t pins, uint8_t val);
int lm3s_gpio_pin_config(uint32_t port, uint8_t pins,
uint32_t mode, uint32_t strength, uint32_t type);
void lm3s_gpio_pin_write(uint32_t port, uint8_t pins, uint8_t val);