Searched refs:gpio_dev (Results 1 – 2 of 2) sorted by relevance
129 void pl061_gpio_register(uintptr_t base_addr, int gpio_dev) in pl061_gpio_register() argument131 assert((gpio_dev >= 0) && (gpio_dev < MAX_GPIO_DEVICES)); in pl061_gpio_register()133 pl061_reg_base[gpio_dev] = base_addr; in pl061_gpio_register()
12 void pl061_gpio_register(uintptr_t base_addr, int gpio_dev);