Lines Matching full:xen
3 * Xen SMP support
5 * This file implements the Xen versions of smp_ops. SMP under Xen is
9 * IPIs are handled through the Xen event mechanism.
35 #include <xen/interface/xen.h>
36 #include <xen/interface/vcpu.h>
37 #include <xen/interface/xenpmu.h>
40 #include <asm/xen/interface.h>
41 #include <asm/xen/hypercall.h>
43 #include <xen/xen.h>
44 #include <xen/page.h>
45 #include <xen/events.h>
47 #include <xen/hvc-console.h>
48 #include "xen-ops.h"
190 "The nosmp parameter is incompatible with Xen; " \ in xen_pv_smp_prepare_cpus()
191 "use Xen dom0_max_vcpus=1 parameter" : in xen_pv_smp_prepare_cpus()
192 "The noapic parameter is incompatible with Xen"; in xen_pv_smp_prepare_cpus()
268 * Set SS:SP that Xen will use when entering guest kernel mode in cpu_initialize_context()
419 pr_info("Xen PV: Detected %u vCPUS\n", cpus); in xen_smp_count_cpus()
451 /* XEN/PV Dom0 has halfways sane topology information via CPUID/MADT */ in xen_smp_init()