1 /* 2 * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef PL061_GPIO_H 8 #define PL061_GPIO_H 9 10 #include <drivers/gpio.h> 11 12 void pl061_gpio_register(uintptr_t base_addr, int gpio_dev); 13 void pl061_gpio_init(void); 14 15 #endif /* PL061_GPIO_H */ 16