freebsd-dev/sys/boot/efi/include/amd64
..
efibind.h
pe.h