/sys/arch/ia64/stand/efi/
../
libefi