search for: arch_init_sched_domain

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...