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);