projects
/
barrelfish
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
(parent:
5abdaec
)
armv7: paging: proper check if `pte_count` pages fit inside source frame starting...
author
Simon Gerber
<simon.gerber@inf.ethz.ch>
Mon, 3 Oct 2016 15:14:14 +0000 (17:14 +0200)
committer
Simon Gerber
<simon.gerber@inf.ethz.ch>
Mon, 3 Oct 2016 15:14:14 +0000 (17:14 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
kernel/arch/armv7/paging.c
patch
|
blob
|
history
diff --git
a/kernel/arch/armv7/paging.c
b/kernel/arch/armv7/paging.c
index
a7947b0
..
9a83451
100644
(file)
--- a/
kernel/arch/armv7/paging.c
+++ b/
kernel/arch/armv7/paging.c
@@
-504,9
+504,8
@@
caps_map_l2(struct capability* dest,
}
// check offset within frame
- if ((offset + BASE_PAGE_SIZE > get_size(src)) ||
+ if ((offset + pte_count * BASE_PAGE_SIZE > get_size(src)) ||
((offset % BASE_PAGE_SIZE) != 0)) {
- panic("oops: frame offset invalid");
return SYS_ERR_FRAME_OFFSET_INVALID;
}