Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
#include <arch/exinfo.h>
#include <arch/regs.h>
+struct extable_entry;
+
/**
* Record the current fault in @%eax
*
#define XTF_X86_LIB_H
#include <xtf/types.h>
+#include <xtf/extable.h>
#include <xen/arch-x86/xen.h>
#include <arch/desc.h>
#ifndef XTF_X86_MM_H
#define XTF_X86_MM_H
+#include <xtf/compiler.h>
#include <xtf/types.h>
#include <arch/page.h>
#ifndef XTF_X86_PAGE_PAE_H
#define XTF_X86_PAGE_PAE_H
+#include <xtf/types.h>
+
+#include <arch/page.h>
+
/** PAE pagetable entries are 64 bits wide. */
#define PAE_PTE_SIZE 8
/** PAE pagetable entries are 64 bits wide. */
#ifndef XTF_X86_PAGE_PSE_H
#define XTF_X86_PAGE_PSE_H
+#include <xtf/types.h>
+
+#include <arch/page.h>
+
/** PSE pagetable entries are 32 bits wide. */
#define PSE_PTE_SIZE 4
/** PSE pagetable entries are 32 bits wide. */
#ifndef XTF_X86_SEGMENT_H
#define XTF_X86_SEGMENT_H
+#include <xtf/types.h>
+
#include <xen/arch-x86/xen.h>
/*
#ifndef XTF_HYPERCALL_H
#define XTF_HYPERCALL_H
+#include <xtf/compiler.h>
#include <xtf/types.h>
#include <arch/page.h>