freebsd-skq/sys/boot/efi/include/ia64
..
efibind.h
pe.h