Constant xen_sys::XEN_PVCLOCK_TSC_STABLE_BIT

pub const XEN_PVCLOCK_TSC_STABLE_BIT: u32 = 1;