/* Assuming the pin is muxed as a gpio output, set its output value.  */
static void davinci_gpio_set(struct gpio_chip *chip, unsigned offset, int value)
/* Assuming the pin is muxed as a gpio output, set its output value.  */
static void davinci_gpio_set(struct gpio_chip *chip, unsigned offset, int value)
{
	struct davinci_gpio *d = container_of(chip, struct davinci_gpio, chip);
	struct gpio_controller *__iomem g = d->regs;
	__raw_writel((1 << offset), value ? &g->set_data : &g->clr_data);
}