Displaying 1 result from an estimated 1 matches for "ia64_get_cpl".
2012 Feb 06
1
[PATCH] ia64: fix build (next instance)
...lude <asm/kregs.h>
+#if !defined(XEN)
#include <asm/ptrace.h>
+#elif !defined(__ASSEMBLY__)
+struct cpu_user_regs;
+#define pt_regs cpu_user_regs
+#endif
#include <asm/ustack.h>
/* Our arch specific arch_init_sched_domain is in arch/ia64/kernel/domain.c */
@@ -783,4 +788,8 @@ ia64_get_cpl(unsigned long psr)
#endif /* !__ASSEMBLY__ */
+#ifdef XEN
+#include <asm/ptrace.h>
+#endif
+
#endif /* _ASM_IA64_PROCESSOR_H */
--- a/xen/include/xen/list.h
+++ b/xen/include/xen/list.h
@@ -8,7 +8,6 @@
#define __XEN_LIST_H__
#include <xen/lib.h>
-#include <xen/prefetch.h>...