Symbol: xen_extraversion_t