/sys/boot/efi/include/ia64/
../
efibind.h
pe.h