/include/hw/gpio/

• ../
• bcm2835_gpio.h
• imx_gpio.h