| Marcelo Tosatti | e0b306f | 2012-11-27 23:28:59 -0200 | [diff] [blame] | 1 | #ifndef _PVCLOCK_GTOD_H |
| 2 | #define _PVCLOCK_GTOD_H |
| 3 | |
| 4 | #include <linux/notifier.h> |
| 5 | |
| David Vrabel | 780427f | 2013-06-27 11:35:46 +0100 | [diff] [blame] | 6 | /* |
| 7 | * The pvclock gtod notifier is called when the system time is updated |
| 8 | * and is used to keep guest time synchronized with host time. |
| 9 | * |
| 10 | * The 'action' parameter in the notifier function is false (0), or |
| 11 | * true (non-zero) if system time was stepped. |
| 12 | */ |
| Marcelo Tosatti | e0b306f | 2012-11-27 23:28:59 -0200 | [diff] [blame] | 13 | extern int pvclock_gtod_register_notifier(struct notifier_block *nb); |
| 14 | extern int pvclock_gtod_unregister_notifier(struct notifier_block *nb); |
| 15 | |
| 16 | #endif /* _PVCLOCK_GTOD_H */ |