Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
#include <linux/console.h>
#include <linux/delay.h>
#include <linux/err.h>
+#include <linux/irq.h>
#include <linux/init.h>
#include <linux/types.h>
#include <linux/list.h>
#include <xen/page.h>
#include <xen/events.h>
#include <xen/interface/io/console.h>
+#include <xen/interface/sched.h>
#include <xen/hvc-console.h>
#include <xen/xenbus.h>
#include <xen/interface/memory.h>
#include <xen/hvc-console.h>
#include <asm/xen/hypercall.h>
+#include <asm/xen/interface.h>
#include <asm/pgtable.h>
#include <asm/sync_bitops.h>
#include <xen/xenbus.h>
#include <xen/events.h>
#include <xen/page.h>
+#include <xen/xen.h>
#include <xen/platform_pci.h>
#define __XEN_PUBLIC_XEN_H__
#include <asm/xen/interface.h>
+#include <linux/types.h>
+#ifdef CONFIG_X86
#include <asm/pvclock-abi.h>
+#endif
/*
* XEN "SYSTEM CALLS" (a.k.a. HYPERCALLS).
#include <linux/types.h>
#include <linux/compiler.h>
+#include <xen/interface/xen.h>
typedef unsigned long xen_pfn_t;