Lines Matching defs:xen
37 #include <xen/xen.h>
38 #include <xen/events.h>
39 #include <xen/interface/xen.h>
40 #include <xen/interface/version.h>
41 #include <xen/interface/physdev.h>
42 #include <xen/interface/vcpu.h>
43 #include <xen/interface/memory.h>
44 #include <xen/interface/nmi.h>
45 #include <xen/interface/xen-mca.h>
46 #include <xen/features.h>
47 #include <xen/page.h>
48 #include <xen/hvc-console.h>
49 #include <xen/acpi.h>
54 #include <asm/xen/pci.h>
55 #include <asm/xen/hypercall.h>
56 #include <asm/xen/hypervisor.h>
57 #include <asm/xen/cpuid.h>
83 #include <xen/interface/platform.h>
86 #include "xen-ops.h"
131 /* xen clock uses per-cpu vcpu_info, need to init it for boot cpu */
597 void (*xen)(void);
603 .xen = xen_asm_##func, \
608 .xen = xen_asm_xenpv_##func, \
656 *addr = entry->xen;