Edit File: pvclock_gtod.h
#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 */