Displaying 1 result from an estimated 1 matches for "arch_init_sched_domain".
2012 Feb 06
1
[PATCH] ia64: fix build (next instance)
.../asm/processor.h
@@ -17,7 +17,12 @@
#include <asm/intrinsics.h>
#include <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_LI...