Constant KVM_XEN_VCPU_ATTR_TYPE_VCPU_INFO_HVA

pub const KVM_XEN_VCPU_ATTR_TYPE_VCPU_INFO_HVA: u32 = 9;