diff options
Diffstat (limited to 'vm/vm_user.c')
| -rw-r--r-- | vm/vm_user.c | 3 |
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; } |