Constant KVM_XEN_VCPU_GET_ATTR 

pub const KVM_XEN_VCPU_GET_ATTR: u32 = 3225988810;