Constant XEN_DOMCTL_get_ext_vcpucontext

pub const XEN_DOMCTL_get_ext_vcpucontext: u32 = 43;