Lines Matching full:xen
3 * Xen time implementation.
21 #include <asm/xen/hypervisor.h>
22 #include <asm/xen/hypercall.h>
23 #include <asm/xen/cpuid.h>
25 #include <xen/events.h>
26 #include <xen/features.h>
27 #include <xen/interface/xen.h>
28 #include <xen/interface/vcpu.h>
30 #include "xen-ops.h"
37 /* Get the TSC speed from Xen */
164 .name = "xen",
173 Xen clockevent implementation
175 Xen has two clockevent implementations:
177 The old timer_op one works with all released versions of Xen prior
185 the xen clocksource (ie, at boot time).
201 the Xen clocksource, because ntp can warp the kernel's clocksource.
232 .name = "xen",
293 .name = "xen",
354 printk(KERN_INFO "installing Xen timer for CPU %d\n", cpu); in xen_setup_timer()
427 * register the secondary time info with Xen or if we migrated to a in xen_restore_time_memory_area()
458 pr_notice("xen: VDSO_CLOCKMODE_PVCLOCK not supported (err %d)\n", ret); in xen_setup_vsyscall_time_info()
475 pr_notice("xen: VDSO_CLOCKMODE_PVCLOCK not supported (tsc unstable)\n"); in xen_setup_vsyscall_time_info()
533 printk(KERN_DEBUG "Xen: using vcpuop timer interface\n"); in xen_time_init()
545 * bit is supported hence speeding up Xen clocksource. in xen_time_init()
615 pr_info_once("Xen doesn't support pvclock on HVM, disable pv timer"); in xen_hvm_init_time_ops()
621 * The __this_cpu_read(xen_vcpu) is still NULL when Xen HVM guest in xen_hvm_init_time_ops()
645 /* Kernel parameter to specify Xen timer slop */