pvclock_set_flags   11 arch/x86/include/asm/pvclock.h void pvclock_set_flags(u8 flags);
pvclock_set_flags  335 arch/x86/kernel/kvmclock.c 		pvclock_set_flags(PVCLOCK_TSC_STABLE_BIT);
pvclock_set_flags  505 arch/x86/xen/time.c 		pvclock_set_flags(PVCLOCK_TSC_STABLE_BIT);