Latest Xenomai does not compile

[giuliomoro]

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);
        }
 }

[giuliomoro]

Fixed http://git.xenomai.org/xenomai-3.git/commit/?h=stable-3.0.x&id=04b565f0ff1cd1a18fe6aed9f06e234ed9307364