/* Set the state of a GPIO output pin  */
static void a2f_gpio_set_value_locked(struct a2f_gpio_chip *a2f_chip, unsigned gpio, int value)
/* Set the state of a GPIO output pin  */
static void a2f_gpio_set_value_locked(struct a2f_gpio_chip *a2f_chip, unsigned gpio, int value)
{
	u32 gpio_out = readl(a2f_chip->gpio_out);
	if (value) {
		gpio_out |=  1 << gpio;
	} else {
		gpio_out &=  ~(1 << gpio);
	}
	writel(gpio_out, a2f_chip->gpio_out);
}