osfmk/vm/vm_object.c

81 #include <kern/assert.h>
845 		assert(object->ref_count > 0);
868 			assert(object->ref_count > 0);
925 			assert(! object->can_persist);
981 			assert(object->shadow == VM_OBJECT_NULL);
1087 	assert(! retry_cache_trim);
1386 				assert(!p->pageout_queue);
1395 				assert(p->pageq.next == NULL && p->pageq.prev == NULL);
1516 		assert(object->pager_initialized);
1517 		assert(object->ref_count == 0);
1589 		assert(object->ref_count > 0);
1601 		assert(object->ref_count > 0);
1707 	assert(object->paging_in_progress == 0);
1708 	assert(object->activity_in_progress == 0);
1720 	assert(object->res_count == 0);
1723 	assert (object->ref_count == 0);
1730 		assert(queue);
1736 		assert(queue->debug_count_objects>=0);
1746 		assert(object->shadow != VM_OBJECT_NULL);
1754 	assert(queue_empty(&object->memq));
1755 	assert(object->paging_in_progress == 0);
1756 	assert(object->activity_in_progress == 0);
1757 	assert(object->ref_count == 0);
1946 			assert(p->object != kernel_object);
1982 				assert (p->phys_page == vm_page_guard_addr);
2015 		assert(p->pageq.next == NULL && p->pageq.prev == NULL);
2070 		assert(object->terminating);
2071 		assert(!object->alive);
2429 		assert(object->paging_in_progress);
2547 						assert(!all_reusable);
2548 						assert(!object->all_reusable);
2551 						assert(object->resident_page_count >= object->reusable_page_count);
2748 			assert(object->reusable_page_count == 0);
2776 			assert((object)->reusable_page_count <=		\
2778 			assert((object)->reusable_page_count > 0);	\
2791 		assert(object->reusable_page_count == 0);
2804 					assert(object->resident_page_count >= object->reusable_page_count);
2807 					assert(!m->reusable);
2893 			assert(phys_start <= phys_end);
2894 			assert(phys_end <= object->vo_shadow_offset + object->vo_size);
2906 	assert(object->internal);
3078 	assert(size == trunc_page_64(size));	/* Will the loop terminate? */
3133 				assert(fault_info.cluster_size == size);
3410 	assert(src_object->copy != VM_OBJECT_NULL);
3671 		assert((old_copy->shadow == src_object) &&
3722 		assert(src_object->ref_count > 0);
3726 		assert(new_copy->ref_count > 0);
3782 	assert(src_object != VM_OBJECT_NULL);
3888 	assert(source != VM_OBJECT_NULL);
3906 	assert(source->copy_strategy == MEMORY_OBJECT_COPY_SYMMETRIC);
4085 				assert(new_entry == VM_OBJECT_HASH_ENTRY_NULL);
4117 	assert(object != VM_OBJECT_NULL);
4128 		assert(!internal || object->internal);
4153 			assert(!object->named);
4167 	assert(object->ref_count > 0);
4194 		assert (control != MEMORY_OBJECT_CONTROL_NULL);
4197 		assert(object != kernel_object);
4290 	assert(object != kernel_object);
4330 	assert(object->vo_size == size);
4353 		assert(object->temporary);
4356 		assert((vm_size_t) object->vo_size == object->vo_size);
4473 		assert(!p->busy || p->absent);
4526 				assert(! pp->absent);
4539 	assert((!object->pager_created && (object->pager == MEMORY_OBJECT_NULL))
4543         assert(!object->pager_created && object->pager == MEMORY_OBJECT_NULL);
4557 		assert(!object->paging_in_progress);
4558 		assert(!object->activity_in_progress);
4566 			assert(entry != VM_OBJECT_HASH_ENTRY_NULL);
4597 	assert(object->existence_map == VM_EXTERNAL_NULL);
4616 	assert(!object->phys_contiguous);
4617 	assert(!backing_object->phys_contiguous);
4625 	assert((object->shadow == VM_OBJECT_NULL) ||
4636 	assert((backing_object->ref_count == 1) &&
4687 	assert(!object->phys_contiguous);
4688 	assert(!backing_object->phys_contiguous);
4736 		assert(backing_object->ref_count > 0);
5272 				assert(!p->cleaning && !p->pageout && !p->laundry);
5285 				assert(!p->cleaning && !p->pageout && !p->laundry);
5403 		assert(prev_object->existence_map == VM_EXTERNAL_NULL);
5450 	    assert((ppnum_t) addr == addr);
5615 			assert(object->pager_initialized);
5616 			assert(object->ref_count == 0);
5797 		assert(object->alive);
5799 			assert(object->named);
5800 		assert(object->ref_count > 0);
5808 			assert(!object->can_persist);
5859 			assert(object->ref_count > 0);
5867 	assert(0);
5937 	assert(object->copy == VM_OBJECT_NULL);
5938 	assert(object->copy_strategy == MEMORY_OBJECT_COPY_NONE);
5942 		assert(object->resident_page_count >=
5947 			assert(vm_page_purgeable_count >=
5953 			assert(vm_page_purgeable_wired_count >=
6064 	assert(object->copy == VM_OBJECT_NULL);
6065 	assert(object->copy_strategy == MEMORY_OBJECT_COPY_NONE);
6096 			assert(object->resident_page_count >=
6101 			assert(vm_page_purgeable_count >= delta);
6108 				assert(vm_page_purgeable_wired_count >=
6116 			assert(object->objq.next != NULL && object->objq.prev != NULL); /* object should be on a queue */
6118 			assert(queue);
6121 			assert(queue->debug_count_objects>=0);
6176 			assert(object->resident_page_count >=
6193 			assert(object->objq.next == NULL && object->objq.prev == NULL);
6204 		        assert(object->objq.next != NULL && object->objq.prev != NULL); /* object should be on a queue */
6207 			assert(old_queue);
6218 				assert(result==KERN_SUCCESS);   /* this should never fail since we just freed a token */
6223 		assert(queue->debug_count_objects>=0);
6248 			assert(old_state == VM_PURGABLE_NONVOLATILE ||
6254 				assert(object->objq.next != NULL &&
6257 				assert(old_queue);
6296 	assert(object->res_count > 0);
6298 		assert(object->ref_count >= object->res_count);
6307 			assert(object->res_count > 0);
6342 		assert(object->ref_count >= object->res_count);
6350 	assert(orig_object->ref_count >= orig_object->res_count);
6370 	assert(object->ref_count > 0);
6531 		assert(queue_empty(&object2->memq));
6542 		assert(queue_empty(&object1->memq));
6552 		assert(queue_empty(&object1->memq));
6558 		assert(queue_empty(&object2->memq));
6566 		assert(queue_empty(&tmp_object->memq));
6578 	assert(object1->vo_size == object2->vo_size);
6588 	assert(!object1->copy);
6589 	assert(!object2->copy);
6591 	assert(!object1->shadow);
6592 	assert(!object2->shadow);
6608 	assert(!object1->paging_in_progress);
6609 	assert(!object2->paging_in_progress);
6610 	assert(object1->activity_in_progress);
6611 	assert(object2->activity_in_progress);
6623 	assert(object1->alive);
6624 	assert(object2->alive);
6626 	assert(object1->purgable == VM_PURGABLE_DENY);
6627 	assert(object2->purgable == VM_PURGABLE_DENY);
6633 	assert(!object1->terminating);
6634 	assert(!object2->terminating);
6643 	assert(object1->cached_list.prev == NULL);
6644 	assert(object2->cached_list.prev == NULL);
6646 	assert(queue_empty(&object1->msr_q));
6647 	assert(queue_empty(&object2->msr_q));
6666 		assert(hash_entry != VM_OBJECT_HASH_ENTRY_NULL);
6673 		assert(hash_entry != VM_OBJECT_HASH_ENTRY_NULL);
6684 	assert(object1->blocked_access);
6685 	assert(object2->blocked_access);
6686 	assert(object1->__object2_unused_bits == 0);
6687 	assert(object2->__object2_unused_bits == 0);
6691 	assert(object1->objq.next == NULL);
6692 	assert(object1->objq.prev == NULL);
6693 	assert(object2->objq.next == NULL);
6694 	assert(object2->objq.prev == NULL);
6782 	assert( !(*length & PAGE_MASK));
6783 	assert( !(*start & PAGE_MASK_64));
6935 	assert(throttle_limit == max_length);
6989 		assert((vm_size_t)(orig_start - target_start) == (orig_start - target_start));
7002 	assert( !(target_start & PAGE_MASK_64));
7003 	assert( !(pre_heat_size & PAGE_MASK));
7055 			assert(offset < object_size);
7166 			/* The protection granted with this assert will */
7171 			/* if such violations occur we will assert sooner */
7173 			assert(dst_page->busy || (ops & UPL_POP_BUSY));
7184 			assert(dst_page->busy);
7222 				assert(!phys_entry);
7233 			assert(dst_page->busy);
7234 			assert(!dst_page->encrypted);
7277 				assert(*range == (offset_end - offset_beg));
7333 			assert(*range == (offset - offset_beg));
7461 			assert(src_object->objq.next != NULL &&
7464 			assert(queue);
7508 		assert(!p->laundry);
7560 	assert(object != VM_OBJECT_NULL );