usr/src/boot/efi/include/efi.h
usr/src/boot/sys/sys/efi.h
usr/src/uts/common/sys/efi.h