Searched refs:gpio_dev (Results 1 – 3 of 3) sorted by relevance
128 void pl061_gpio_register(uintptr_t base_addr, int gpio_dev) in pl061_gpio_register() argument130 assert((gpio_dev >= 0) && (gpio_dev < MAX_GPIO_DEVICES)); in pl061_gpio_register()132 pl061_reg_base[gpio_dev] = base_addr; in pl061_gpio_register()
69 char gpio_dev[30]; in main() local163 snprintf(gpio_dev, sizeof(gpio_dev), "/sys/class/gpio/gpio%d/value", gpio_nreset); in main()164 gpio = open(gpio_dev, O_WRONLY); in main()328 gpio = open(gpio_dev, O_WRONLY); in main()
12 void pl061_gpio_register(uintptr_t base_addr, int gpio_dev);