#include <xen/paging.h>
#include <xen/hypercall.h>
#include <asm/current.h>
+#include <asm/page.h>
#include <public/domctl.h>
#include <xsm/xsm.h>
#include <xen/paging.h>
#include <xen/keyhandler.h>
#include <xsm/xsm.h>
+#include <asm/flushtlb.h>
#ifndef max_nr_grant_frames
unsigned int max_nr_grant_frames = DEFAULT_MAX_NR_GRANT_FRAMES;
#include <xen/config.h>
#include <xen/irq.h>
+#include <xen/errno.h>
int init_one_irq_desc(struct irq_desc *desc)
{
#include <xen/compat.h>
#include <xen/ctype.h>
#include <xen/perfc.h>
+#include <xen/init.h>
#include <asm/debugger.h>
#include <asm/div64.h>
#include <xen/tmem_xen.h>
#include <asm/current.h>
#include <asm/hardirq.h>
-#ifdef CONFIG_X86
-# include <asm/p2m.h>
+#ifndef __ia64__
+#include <asm/p2m.h>
#endif
#include <xen/numa.h>
#include <public/memory.h>
#include <xen/preempt.h>
#include <public/sysctl.h>
#include <asm/processor.h>
+#include <asm/atomic.h>
#ifndef NDEBUG
#include <xen/config.h>
#include <xen/sched.h>
#include <xen/wait.h>
+#include <xen/errno.h>
struct waitqueue_vcpu {
struct list_head list;
#include <xen/version.h>
#include <xen/lib.h>
+#include <xen/init.h>
#include <xen/event.h>
#include <xen/console.h>
#include <xen/serial.h>
#define __XEN_GRANT_TABLE_H__
#include <public/grant_table.h>
+#include <asm/page.h>
#include <asm/grant_table.h>
/* Active grant entry - used for shadowing GTF_permit_access grants. */
#define __XEN_LIST_H__
#include <xen/lib.h>
+#include <xen/prefetch.h>
#include <asm/system.h>
/* These are non-NULL pointers that will result in page faults
#include <xen/nodemask.h>
#include <xen/radix-tree.h>
#include <xen/multicall.h>
+#include <xen/tasklet.h>
+#include <xen/mm.h>
+#include <xen/smp.h>
+#include <asm/atomic.h>
#include <xen/wait.h>
#include <public/xen.h>
#include <public/domctl.h>
#include <xen/time.h>
#include <xen/string.h>
#include <xen/list.h>
+#include <xen/percpu.h>
struct timer {
/* System time expiry value (nanoseconds since boot). */
#define __XEN_TMEM_XEN_H__
#include <xen/mm.h> /* heap alloc/free */
+#include <xen/pfn.h>
#include <xen/xmalloc.h> /* xmalloc/xfree */
#include <xen/sched.h> /* struct domain */
#include <xen/guest_access.h> /* copy_from_guest */