pub const XEN_PVCLOCK_GUEST_STOPPED: u32 = 2;