Lines Matching full:xen
42 #include <xen/xen.h>
43 #include <xen/acpi.h>
44 #include <xen/xenbus.h>
45 #include <xen/events.h>
46 #include <xen/interface/platform.h>
47 #include <asm/xen/hypervisor.h>
48 #include <asm/xen/hypercall.h>
55 * @cpu_id: Xen physical cpu logic number
56 * @flags: Xen physical cpu status flag
149 * Xen never offline cpu0 due to several restrictions in pcpu_dev_is_visible()
314 * Sync dom0's pcpu information with xen hypervisor's
319 * Boot cpu always have cpu_id 0 in xen in xen_sync_pcpus()
362 "xen-pcpu", NULL); in xen_pcpu_init()
420 pr_err("sanitize of _PDC buffer bits from Xen failed: %d\n", in xen_sanitize_proc_cap_bits()