projects
/
barrelfish
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
(parent:
5e618da
)
kernel: arm: fix modify_flags invocation
author
Simon Gerber
<simon.gerber@inf.ethz.ch>
Tue, 4 Oct 2016 07:38:39 +0000 (09:38 +0200)
committer
Simon 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
patch
|
blob
|
history
diff --git
a/kernel/arch/armv7/syscall.c
b/kernel/arch/armv7/syscall.c
index
d5ce983
..
d380b8d
100644
(file)
--- a/
kernel/arch/armv7/syscall.c
+++ b/
kernel/arch/armv7/syscall.c
@@
-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);