vmi_get_wallclock  928 arch/x86/kernel/vmi_32.c 		pv_time_ops.get_wallclock = vmi_get_wallclock;
vmi_get_wallclock   50 include/asm-x86/vmi_time.h extern unsigned long vmi_get_wallclock(void);