Lines Matching refs: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>
314 * Sync dom0's pcpu information with xen hypervisor's
319 * Boot cpu always have cpu_id 0 in xen
362 "xen-pcpu", NULL);