/sys/boot/efi/include/arm64/

• ../
• efibind.h