/sys/external/bsd/gnu-efi/dist/inc/arm/
../
efibind.h
efilibplat.h
efisetjmp_arch.h