kernel: arm: fix modify_flags invocation
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 4 Oct 2016 07:38:39 +0000 (09:38 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 4 Oct 2016 07:38:39 +0000 (09:38 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel/arch/armv7/syscall.c

index d5ce983..d380b8d 100644 (file)
@@ -401,7 +401,7 @@ handle_mapping_modify(
         int argc
         )
 {
-    assert(5 == argc);
+    assert(6 == argc);
     struct registers_arm_syscall_args* sa = &context->syscall_args;
 
     // Modify flags of (part of) mapped region of frame
@@ -412,6 +412,7 @@ handle_mapping_modify(
                              // page in mapped region
     size_t pages  = sa->arg3; // #pages to modify
     size_t flags  = sa->arg4; // new flags
+    // sa->argv5 is virtual address hint (not used in arm user space code atm)
 
     errval_t err = paging_modify_flags(to, offset, pages, flags);