XEN_ELFNOTE_DUMPCORE_XEN_VERSION
case XEN_ELFNOTE_DUMPCORE_XEN_VERSION:
if (nhdr->n_type != XEN_ELFNOTE_DUMPCORE_XEN_VERSION)