summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2022-02-17 00:05:24 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2022-02-17 00:05:24 +0100
commit4887b6c76dad729c956e275f6b3f2b0996308125 (patch)
tree9496caf2bf6874415710a116f63a6aab5697e8cf
parent58369a4518ff31c079552e46807747d5d08463fe (diff)
vm_allocate_contiguous: Make sure we enforce physical addresses contraints
-rw-r--r--vm/vm_user.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/vm/vm_user.c b/vm/vm_user.c
index da483170..23ac9c3f 100644
--- a/vm/vm_user.c
+++ b/vm/vm_user.c
@@ -673,5 +673,8 @@ kern_return_t vm_allocate_contiguous(
*result_vaddr = vaddr;
*result_paddr = pages->phys_addr;
+ assert(*result_paddr >= pmin);
+ assert(*result_paddr < pmax);
+
return KERN_SUCCESS;
}