BelaPlatform/bela-image-builder

Latest Xenomai does not compile

Closed this issue · 1 comments

giuliomoro commented

http://xenomai.org/pipermail/xenomai/2017-May/037335.html

this was broken in 9a865549170f82561389eaa6d4dbda6f8a46d2e1

The below will make your kernel compile

--- a/arch/arm/xenomai/machine.c
+++ b/arch/arm/xenomai/machine.c
@@ -35,7 +35,7 @@ static void mach_arm_prefault(struct vm_area_struct *vma)
                flags = (vma->vm_flags & VM_MAYWRITE) ? FAULT_FLAG_WRITE : 0;
                for (addr = vma->vm_start;
                     addr != vma->vm_end; addr += PAGE_SIZE)
-                       handle_mm_fault(vma, addr, flags);
+                       handle_mm_fault(vma->vm_mm, vma, addr, flags);
        }
 }