xen_clockevent    294 arch/x86/xen/time.c static const struct clock_event_device *xen_clockevent =
xen_clockevent    348 arch/x86/xen/time.c 	memcpy(evt, xen_clockevent, sizeof(*evt));
xen_clockevent    364 arch/x86/xen/time.c 	if (xen_clockevent != &xen_vcpuop_clockevent)
xen_clockevent    490 arch/x86/xen/time.c 		xen_clockevent = &xen_vcpuop_clockevent;