Constant KVM_XEN_VCPU_ATTR_TYPE_TIMER

pub const KVM_XEN_VCPU_ATTR_TYPE_TIMER: u32 = 7;