/* Set the state of an output GPIO line.  */
static void ks8695_gpio_set_value(struct gpio_chip *gc, unsigned int pin, int state)
/* Set the state of an output GPIO line.  */
static void ks8695_gpio_set_value(struct gpio_chip *gc, unsigned int pin, int state)
{
	unsigned long x, flags;
	if (pin > KS8695_GPIO_15)
		return;
	local_irq_save(flags);
	x = __raw_readl(KS8695_GPIO_VA + KS8695_IOPD);
	if (state)
		x |= IOPD(pin);
	else
		x &= ~IOPD(pin);
	__raw_writel(x, KS8695_GPIO_VA + KS8695_IOPD);
	local_irq_restore(flags);
}