770 		assertf(!new->use_pmap, "old %p new %p\n", old, new);  in vm_map_entry_copy()
1305 		assertf(kr == KERN_SUCCESS,  in vm_map_apple_protected()
1307 		assertf(map_addr == tmp_entry.vme_start,  in vm_map_apple_protected()
3040 	assertf(vmk_flags.__vmkf_unused2 == 0, "vmk_flags unused2=0x%llx\n", vmk_flags.__vmkf_unused2);  in vm_map_enter()
3299 	assertf(VM_MAP_PAGE_ALIGNED(*address, VM_MAP_PAGE_MASK(map)), "0x%llx", (uint64_t)*address);  in vm_map_enter()
3300 	assertf(VM_MAP_PAGE_ALIGNED(size, VM_MAP_PAGE_MASK(map)), "0x%llx", (uint64_t)size);  in vm_map_enter()
4346 	assertf(vmk_flags.__vmkf_unused2 == 0, "vmk_flags unused2=0x%llx\n", vmk_flags.__vmkf_unused2);  in vm_map_enter_mem_object()
5150 					assertf(FALSE, "kernel_prefault && !UPL_VALID_PAGE");  in vm_map_enter_mem_object()
5161 					assertf(p, "offset 0x%llx: no VM page", page_offset);  in vm_map_enter_mem_object()
5177 						assertf(VM_PAGE_GET_PHYS_PAGE(p) == UPL_PHYS_PAGE(page_list, i),  in vm_map_enter_mem_object()
7380 …assertf(vm_object_round_page(VME_OFFSET(entry) + size) - vm_object_trunc_page(VME_OFFSET(entry)) =…  in vm_map_wire_nested()
7388 				assertf(os_ref_get_count_raw(&object->ref_count) == 1,  in vm_map_wire_nested()
7391 				assertf(!entry->needs_copy,  in vm_map_wire_nested()
9423 			assertf(VM_MAP_PAGE_SHIFT(VME_SUBMAP(entry)) >= VM_MAP_PAGE_SHIFT(map),  in vm_map_delete()
11120 	assertf(copy->size == copy_size,  in vm_map_copy_overwrite()
13633 			assertf(new_entry->use_pmap, "src_map %p new_entry %p\n", src_map, new_entry);  in vm_map_copyin_internal()
15219 		assertf(VM_MAP_PAGE_SHIFT(VME_SUBMAP(entry)) >= VM_MAP_PAGE_SHIFT(map),  in vm_map_lookup_and_lock_object()
15287 		assertf(VM_MAP_PAGE_ALIGNED(local_vaddr, fault_page_mask),  in vm_map_lookup_and_lock_object()
15325 		assertf(!submap_entry->is_sub_map, "Unexpected recursive submap entry %p", submap_entry);  in vm_map_lookup_and_lock_object()
18604 …assertf(!os_add_overflow(end - start, offset, &end_offset), "size 0x%llx, offset 0x%llx caused ove…  in vm_map_entry_insert()
19213 				assertf(!src_entry->use_pmap,  in vm_map_remap_extract()
19227 				assertf(src_entry->use_pmap,  in vm_map_remap_extract()
19564 			assertf(new_entry->use_pmap, "map %p new_entry %p\n", map, new_entry);  in vm_map_remap_extract()
19617 			assertf(new_entry->use_pmap, "map %p new_entry %p\n", map, new_entry);  in vm_map_remap_extract()
20237 	assertf(target_size == src_copy_map_size - *trimmed_start_p - trimmed_end,  in vm_map_copy_adjust_to_target()
21522 		assertf(map_entry->use_pmap, "offset 0x%llx map_entry %p", (uint64_t) curr_s_offset, map_entry);  in vm_map_footprint_query_page_info_exclusive()
21546 		assertf(!map_entry->use_pmap, "offset 0x%llx map_entry %p", (uint64_t) curr_s_offset, map_entry);  in vm_map_footprint_query_page_info_exclusive()
21575 			assertf(!map_entry->use_pmap, "offset 0x%llx map_entry %p", (uint64_t) curr_s_offset, map_entry);  in vm_map_footprint_query_page_info_exclusive()
21605 		assertf(!map_entry->use_pmap, "offset 0x%llx map_entry %p", (uint64_t) curr_s_offset, map_entry);  in vm_map_footprint_query_page_info_exclusive()
21625 			assertf(!map_entry->use_pmap, "offset 0x%llx map_entry %p", (uint64_t) curr_s_offset, map_entry);  in vm_map_footprint_query_page_info_exclusive()
21630 			assertf(map_entry->use_pmap, "offset 0x%llx map_entry %p", (uint64_t) curr_s_offset, map_entry);  in vm_map_footprint_query_page_info_exclusive()
21642 			assertf(map_entry->use_pmap, "offset 0x%llx map_entry %p", (uint64_t) curr_s_offset, map_entry);  in vm_map_footprint_query_page_info_exclusive()
21931 			assertf(VM_MAP_PAGE_SHIFT(sub_map) >= VM_MAP_PAGE_SHIFT(map),  in vm_map_page_range_info_internal()
25257 		assertf(kmr.kmr_return == KERN_SUCCESS,  in vm_map_corpse_footprint_collect_done()
26239 	assertf(entry->vme_start == address,  in vm_map_testing_require_submap_at_address()
26241 	assertf(entry->is_sub_map,  in vm_map_testing_require_submap_at_address()
26276 	assertf(!vm_kernel_map_is_kernel(parent_map),  in vm_map_testing_remap_submap_and_unlock()
26278 	assertf(!vm_map_is_sealed(parent_map),  in vm_map_testing_remap_submap_and_unlock()
26281 	assertf(parent_map != submap,  in vm_map_testing_remap_submap_and_unlock()
26283 	assertf(!vm_kernel_map_is_kernel(submap),  in vm_map_testing_remap_submap_and_unlock()
26285 	assertf(vm_map_is_sealed(submap),  in vm_map_testing_remap_submap_and_unlock()
26287 	assertf(VM_MAP_PAGE_MASK(parent_map) == VM_MAP_PAGE_MASK(submap),  in vm_map_testing_remap_submap_and_unlock()
26290 	assertf((start & VM_MAP_PAGE_MASK(parent_map)) == 0,  in vm_map_testing_remap_submap_and_unlock()
26292 	assertf((end & VM_MAP_PAGE_MASK(parent_map)) == 0,  in vm_map_testing_remap_submap_and_unlock()
26294 	assertf((submap_offset & VM_MAP_PAGE_MASK(parent_map)) == 0,  in vm_map_testing_remap_submap_and_unlock()
26296 	assertf(start < end,  in vm_map_testing_remap_submap_and_unlock()
26301 	assertf(!overflowed, "arithmetic overflow in submap_offset + (end - start)");  in vm_map_testing_remap_submap_and_unlock()
26307 	assertf(vm_map_first_entry(submap) != vm_map_to_entry(submap),  in vm_map_testing_remap_submap_and_unlock()
26309 	assertf(vm_map_first_entry(submap)->vme_start <= submap_offset,  in vm_map_testing_remap_submap_and_unlock()
26311 	assertf(vm_map_last_entry(submap)->vme_end >= submap_end_offset,  in vm_map_testing_remap_submap_and_unlock()
26337 	assertf(kr == KERN_SUCCESS,  in vm_map_testing_remap_submap_and_unlock()
26339 	assertf(new_start == start,  in vm_map_testing_remap_submap_and_unlock()
26388 	assertf(!vm_kernel_map_is_kernel(parent_map),  in vm_map_testing_make_sealed_submap()
26390 	assertf(!vm_map_is_sealed(parent_map),  in vm_map_testing_make_sealed_submap()
26393 	assertf((start & VM_MAP_PAGE_MASK(parent_map)) == 0,  in vm_map_testing_make_sealed_submap()
26395 	assertf((end & VM_MAP_PAGE_MASK(parent_map)) == 0,  in vm_map_testing_make_sealed_submap()
26397 	assertf(start < end,  in vm_map_testing_make_sealed_submap()
26440 		assertf((entry->protection & VM_PROT_ALLEXEC) == 0,  in vm_map_testing_make_sealed_submap()
26442 		assertf((entry->max_protection & VM_PROT_ALLEXEC) == 0,  in vm_map_testing_make_sealed_submap()
26445 		assertf(!entry->used_for_tpro,  in vm_map_testing_make_sealed_submap()
26455 		assertf(entry->vme_start >= start,  in vm_map_testing_make_sealed_submap()
26457 		assertf(entry->vme_end > start,  in vm_map_testing_make_sealed_submap()
26465 		assertf(entry->vme_start < end,  in vm_map_testing_make_sealed_submap()
26467 		assertf(entry->vme_end <= end,  in vm_map_testing_make_sealed_submap()
26472 		assertf(!entry->is_sub_map,  in vm_map_testing_make_sealed_submap()
26474 		assertf(!entry->in_transition,  in vm_map_testing_make_sealed_submap()
26505 	assertf(entry == vm_map_to_entry(parent_map) || entry->vme_start >= end,  in vm_map_testing_make_sealed_submap()