diff --git a/hermit/kernel/syscall.c b/hermit/kernel/syscall.c index 439f1f1ce..b7c64d808 100644 --- a/hermit/kernel/syscall.c +++ b/hermit/kernel/syscall.c @@ -246,7 +246,7 @@ ssize_t sys_sbrk(ssize_t incr) // reserve VMA regions if (PAGE_CEIL(heap->end) > PAGE_CEIL(ret)) - vma_add(PAGE_CEIL(ret+PAGE_SIZE), PAGE_FLOOR(heap->end), VMA_HEAP|VMA_USER); + vma_add(PAGE_CEIL(ret), PAGE_FLOOR(heap->end), VMA_HEAP|VMA_USER); // allocation and mapping of new pages for the heap // is catched by the pagefault handler