HelenOS sources

efi.h   39 boot/arch/arm64/include/arch/main.h #include <genarch/efi.h>
efi.h   40 boot/arch/arm64/include/arch/relocate.h #include <genarch/efi.h>
efi.h   34 boot/arch/ia64/src/main.c #include <genarch/efi.h>
efi.h   29 boot/genarch/src/efi.c #include <genarch/efi.h>