| #ifndef _PVCLOCK_GTOD_H | |
| #define _PVCLOCK_GTOD_H | |
| #include <linux/notifier.h> | |
| /* | |
| * The pvclock gtod notifier is called when the system time is updated | |
| * and is used to keep guest time synchronized with host time. | |
| * | |
| * The 'action' parameter in the notifier function is false (0), or | |
| * true (non-zero) if system time was stepped. | |
| */ | |
| extern int pvclock_gtod_register_notifier(struct notifier_block *nb); | |
| extern int pvclock_gtod_unregister_notifier(struct notifier_block *nb); | |
| #endif /* _PVCLOCK_GTOD_H */ |