pvclock_resume     16 arch/x86/include/asm/pvclock.h void pvclock_resume(void);
pvclock_resume    428 arch/x86/xen/time.c 	pvclock_resume();