Constant XEN_DOMCTL_get_ext_vcpucontext 

pub const XEN_DOMCTL_get_ext_vcpucontext: u32 = 43;