stand/boot/efi/include/efi.h
sys/platform/pc64/include/efi.h
sys/sys/efi.h