summaryrefslogtreecommitdiff
path: root/vm
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2023-08-28 21:50:23 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-08-28 21:50:23 +0200
commit8852aa3195cebbbcde50743ce4d8e8c85f32262c (patch)
treebe70e762595e2b60f8447b0316d2d8415ad382c1 /vm
parent3362be1889f01e2308c7045e23ccb8d4d5c7de04 (diff)
vm_allocate_contiguous: Accept returning end of allowed memory
*result_paddr + size is exactly pass the allocated memory, so it can be equal to the requested bound.
Diffstat (limited to 'vm')
-rw-r--r--vm/vm_user.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/vm/vm_user.c b/vm/vm_user.c
index f42c84bf..08cc17a4 100644
--- a/vm/vm_user.c
+++ b/vm/vm_user.c
@@ -696,7 +696,7 @@ kern_return_t vm_allocate_contiguous(
*result_paddr = pages->phys_addr;
assert(*result_paddr >= pmin);
- assert(*result_paddr + size < pmax);
+ assert(*result_paddr + size <= pmax);
return KERN_SUCCESS;
}