settime32         119 arch/x86/xen/time.c 		op.u.settime32.secs = now.tv_sec;
settime32         120 arch/x86/xen/time.c 		op.u.settime32.nsecs = now.tv_nsec;
settime32         121 arch/x86/xen/time.c 		op.u.settime32.system_time = xen_clocksource_read();
settime32         507 include/xen/interface/platform.h 		struct xenpf_settime32         settime32;