Hi, I notice that xen_domctl_arch_setup structure is defined in xendump.h in a different way with the one from Xen: the compile option check on IA64 is disabled. Why is that? /* from xendump.h */ typedef struct xen_domctl_arch_setup { uint64_t flags; /* XEN_DOMAINSETUP_* */ /* #ifdef __ia64__ */ uint64_t bp; /* mpaddr of boot param area */ uint64_t maxmem; /* Highest memory address for MDT. */ uint64_t xsi_va; /* Xen shared_info area virtual address. */ uint32_t hypercall_imm; /* Break imm for Xen hypercalls. */ /* #endif */ } xen_domctl_arch_setup_t; Thanks, Jun