pvclock_touch_watchdogs   18 arch/x86/include/asm/pvclock.h void pvclock_touch_watchdogs(void);
pvclock_touch_watchdogs  156 arch/x86/kernel/kvmclock.c 		pvclock_touch_watchdogs();
pvclock_touch_watchdogs   82 arch/x86/kernel/pvclock.c 		pvclock_touch_watchdogs();