498 		assertf(!new->use_pmap, "old %p new %p\n", old, new);  in vm_map_entry_copy()
1018 		assertf(kr == KERN_SUCCESS,  in vm_map_apple_protected()
1020 		assertf(map_addr == tmp_entry.vme_start,  in vm_map_apple_protected()
1838 		assertf(!pgz_owned(address),  in vm_map_lookup_entry()
2437 	assertf(vmk_flags.__vmkf_unused == 0, "vmk_flags unused=0x%x\n", vmk_flags.__vmkf_unused);  in vm_map_enter()
2596 	assertf(VM_MAP_PAGE_ALIGNED(*address, FOURK_PAGE_MASK), "0x%llx", (uint64_t)*address);  in vm_map_enter()
2597 	assertf(VM_MAP_PAGE_ALIGNED(size, FOURK_PAGE_MASK), "0x%llx", (uint64_t)size);  in vm_map_enter()
2599 		assertf(page_aligned(*address), "0x%llx", (uint64_t)*address);  in vm_map_enter()
2600 		assertf(page_aligned(size), "0x%llx", (uint64_t)size);  in vm_map_enter()
4011 	assertf(vmk_flags.__vmkf_unused == 0, "vmk_flags unused=0x%x\n", vmk_flags.__vmkf_unused);  in vm_map_enter_mem_object_helper()
4511 				assertf((copy_vm_alias & VME_ALIAS_MASK) == copy_vm_alias,  in vm_map_enter_mem_object_helper()
4808 					assertf(FALSE, "kernel_prefault && !UPL_VALID_PAGE");  in vm_map_enter_mem_object_helper()
6939 …assertf(vm_object_round_page(VME_OFFSET(entry) + size) - vm_object_trunc_page(VME_OFFSET(entry)) =…  in vm_map_wire_nested()
6947 				assertf(object->ref_count == 1,  in vm_map_wire_nested()
6950 				assertf(!entry->needs_copy,  in vm_map_wire_nested()
8517 			assertf(VM_MAP_PAGE_SHIFT(VME_SUBMAP(entry)) >= VM_MAP_PAGE_SHIFT(map),  in vm_map_delete()
10010 	assertf(copy->size == copy_size,  in vm_map_copy_overwrite()
12024 			assertf(new_entry->use_pmap, "src_map %p new_entry %p\n", src_map, new_entry);  in vm_map_copyin_internal()
12949 	assertf(pre_nested_start <= pre_nested_end,  in vm_map_fork_unnest()
12952 	assertf(start <= end,  in vm_map_fork_unnest()
12984 	assertf(kr == KERN_SUCCESS,  in vm_map_fork_unnest()
13584 		assertf(VM_MAP_PAGE_SHIFT(VME_SUBMAP(entry)) >= VM_MAP_PAGE_SHIFT(map),  in vm_map_lookup_and_lock_object()
13649 		assertf(VM_MAP_PAGE_ALIGNED(local_vaddr, fault_page_mask),  in vm_map_lookup_and_lock_object()
13772 				assertf(VM_MAP_PAGE_ALIGNED(VME_OFFSET(submap_entry), VM_MAP_PAGE_MASK(map)),  in vm_map_lookup_and_lock_object()
16601 …assertf(!os_add_overflow(end - start, offset, &end_offset), "size 0x%llx, offset 0x%llx caused ove…  in vm_map_entry_insert()
17133 				assertf(!src_entry->use_pmap,  in vm_map_remap_extract()
17147 				assertf(src_entry->use_pmap,  in vm_map_remap_extract()
17372 			assertf(new_entry->use_pmap, "map %p new_entry %p\n", map, new_entry);  in vm_map_remap_extract()
17411 			assertf(new_entry->use_pmap, "map %p new_entry %p\n", map, new_entry);  in vm_map_remap_extract()
17956 	assertf(target_size == src_copy_map_size - *trimmed_start_p - trimmed_end,  in vm_map_copy_adjust_to_target()
18249 …assertf(ip_kotype(port) == IKOT_NAMED_ENTRY, "Port Type expected: %d...received:%d\n", IKOT_NAMED_…  in memory_entry_check_for_adjustment()
19062 		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()
19069 		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()
19096 		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()
19125 		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()
19145 			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()
19150 			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()
19162 			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()
19423 			assertf(VM_MAP_PAGE_SHIFT(sub_map) >= VM_MAP_PAGE_SHIFT(map),  in vm_map_page_range_info_internal()
21950 		assertf(kr == KERN_SUCCESS,  in vm_map_corpse_footprint_collect_done()
21962 		assertf(kr == KERN_SUCCESS,  in vm_map_corpse_footprint_collect_done()
22103 		assertf(kr == KERN_SUCCESS, "kr=0x%x\n", kr);  in vm_map_corpse_footprint_destroy()