sys/dev/efi/efi.h
sys/dev/pci/drm/include/linux/efi.h
sys/stand/efi/include/efi.h