summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorguy fleury iteriteka <gfleury@disroot.org>2019-08-31 14:42:06 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2019-08-31 16:17:25 +0200
commit28cc58d5d9f3f7d21c58f81aa9cddc840fba8337 (patch)
tree5bb4ab645671fd7d7a476cd3b09f5da65ab7b590
parent8ac3a0b5d59b12828af9f26c778da523b4a220a0 (diff)
Fix the pointer comparison of different type.
* vm/vm_map.c(vm_map_fork): use VM_MAP_NULL instead of PMAP_NULL when compare with new_map.
-rw-r--r--vm/vm_map.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/vm/vm_map.c b/vm/vm_map.c
index a0cc9adb..3d8d3b0d 100644
--- a/vm/vm_map.c
+++ b/vm/vm_map.c
@@ -4247,7 +4247,7 @@ vm_map_t vm_map_fork(vm_map_t old_map)
new_map = vm_map_create(new_pmap,
old_map->min_offset,
old_map->max_offset);
- if (new_map == PMAP_NULL) {
+ if (new_map == VM_MAP_NULL) {
pmap_destroy(new_pmap);
return VM_MAP_NULL;
}