/* Set the state of a GPIO output pin  */
static void lpc178x_gpio_set_value(struct gpio_chip *chip, unsigned gpio, int value)
/* Set the state of a GPIO output pin  */
static void lpc178x_gpio_set_value(struct gpio_chip *chip, unsigned gpio, int value)
{
	if (value) {
		LPC178X_GPIO(LPC178X_GPIO_GETPORT(gpio))->fioset =
			(1 << LPC178X_GPIO_GETPIN(gpio));
	} else {
		LPC178X_GPIO(LPC178X_GPIO_GETPORT(gpio))->fioclr =
			(1 << LPC178X_GPIO_GETPIN(gpio));
	}
}