/* Set the state of a GPIO output pin  */
static void kinetis_gpio_set_value(struct gpio_chip *chip, unsigned gpio, int value)
/* Set the state of a GPIO output pin  */
static void kinetis_gpio_set_value(struct gpio_chip *chip, unsigned gpio, int value)
{
	if (value) {
		KINETIS_GPIO(KINETIS_GPIO_GETPORT(gpio))->psor =
			(1 << KINETIS_GPIO_GETPIN(gpio));
	} else {
		KINETIS_GPIO(KINETIS_GPIO_GETPORT(gpio))->pcor =
			(1 << KINETIS_GPIO_GETPIN(gpio));
	}
}