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 <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