/arch/x86/include/asm/arch-efi/

• ../
• gpio.h