kame/freebsd5/sys/boot/efi/libefi/arch/ia64
