Constant XEN_DOMCTL_set_ext_vcpucontext 

pub const XEN_DOMCTL_set_ext_vcpucontext: u32 = 42;