src/sys/arch/xen/include/xen3-public/arch-ia64
