vmi_set_wallclock  929 arch/x86/kernel/vmi_32.c 		pv_time_ops.set_wallclock = vmi_set_wallclock;
vmi_set_wallclock   51 include/asm-x86/vmi_time.h extern int vmi_set_wallclock(unsigned long now);