Constant XEN_DOMCTL_set_ext_vcpucontext

pub const XEN_DOMCTL_set_ext_vcpucontext: u32 = 42;