xen_clocksource   148 arch/x86/xen/time.c static struct clocksource xen_clocksource __read_mostly = {
xen_clocksource   470 arch/x86/xen/time.c 	xen_clocksource.archdata.vclock_mode = VCLOCK_PVCLOCK;
xen_clocksource   481 arch/x86/xen/time.c 		xen_clocksource.rating = 275;
xen_clocksource   483 arch/x86/xen/time.c 	clocksource_register_hz(&xen_clocksource, NSEC_PER_SEC);