src/sys/external/bsd/gnu-efi/dist/inc/x86_64