|
@@ -40,5 +40,6 @@ struct pvclock_wall_clock {
|
|
|
} __attribute__((__packed__));
|
|
} __attribute__((__packed__));
|
|
|
|
|
|
|
|
#define PVCLOCK_TSC_STABLE_BIT (1 << 0)
|
|
#define PVCLOCK_TSC_STABLE_BIT (1 << 0)
|
|
|
|
|
+#define PVCLOCK_GUEST_STOPPED (1 << 1)
|
|
|
#endif /* __ASSEMBLY__ */
|
|
#endif /* __ASSEMBLY__ */
|
|
|
#endif /* _ASM_X86_PVCLOCK_ABI_H */
|
|
#endif /* _ASM_X86_PVCLOCK_ABI_H */
|