XENHEADER_HAS_MODULEP_OFFSET
header.flags = XENHEADER_HAS_MODULEP_OFFSET;
if ((header->flags & XENHEADER_HAS_MODULEP_OFFSET) !=
XENHEADER_HAS_MODULEP_OFFSET) {