Lines Matching refs:assert
135 assert(vm_object_tracking_btlog); in vm_object_tracking_init()
479 assert(object->vo_size - inner_size <= USHRT_MAX); in vm_object_set_size()
540 assert(sizeof(mo_ipc_object_bits_t) == sizeof(ipc_object_bits_t)); in vm_object_bootstrap()
743 assert(object->ref_count > 0); in vm_object_deallocate()
766 assert(object->ref_count > 0); in vm_object_deallocate()
815 assert(!object->can_persist); in vm_object_deallocate()
946 assert(object->purgable == VM_PURGABLE_DENY); in vm_object_cache_remove_locked()
976 assert(object->purgable == VM_PURGABLE_DENY); in vm_object_cache_add()
1052 assert(object->purgable == VM_PURGABLE_DENY); in vm_object_cache_evict()
1162 assert(p->vmp_pageq.next == 0 && p->vmp_pageq.prev == 0); in vm_object_cache_evict()
1262 assert(object->ref_count > 0); in vm_object_terminate()
1274 assert(object->ref_count > 0); in vm_object_terminate()
1377 assert(object->paging_in_progress == 0); in vm_object_reap()
1378 assert(object->activity_in_progress == 0); in vm_object_reap()
1397 assert(!object->alive); in vm_object_reap()
1398 assert(object->terminating); in vm_object_reap()
1404 assert(kr == KERN_SUCCESS); in vm_object_reap()
1405 assert(object->vo_owner == NULL); in vm_object_reap()
1424 assert(object->ref_count == 0); in vm_object_reap()
1430 assert(VM_OBJECT_OWNER(object) == TASK_NULL); in vm_object_reap()
1440 assert(queue); in vm_object_reap()
1450 assert(queue->debug_count_objects >= 0); in vm_object_reap()
1461 assert(object->resident_page_count >= in vm_object_reap()
1466 assert(vm_page_purgeable_count >= delta); in vm_object_reap()
1471 assert(vm_page_purgeable_wired_count >= in vm_object_reap()
1493 assert(object->cached_list.next == NULL); in vm_object_reap()
1495 assert(object->cached_list.prev == NULL); in vm_object_reap()
1504 assert(object->shadow != VM_OBJECT_NULL); in vm_object_reap()
1514 assert(vm_page_queue_empty(&object->memq)); in vm_object_reap()
1515 assert(object->paging_in_progress == 0); in vm_object_reap()
1516 assert(object->activity_in_progress == 0); in vm_object_reap()
1517 assert(object->ref_count == 0); in vm_object_reap()
1713 assert(!is_kernel_object(VM_PAGE_OBJECT(p))); in vm_object_reap_pages()
1740 assert(VM_PAGE_GET_PHYS_PAGE(p) == vm_page_guard_addr); in vm_object_reap_pages()
1748 assert(!object->internal); in vm_object_reap_pages()
1777 assert(p->vmp_pageq.next == 0 && p->vmp_pageq.prev == 0); in vm_object_reap_pages()
1836 assert(object->terminating); in vm_object_reaper_thread()
1837 assert(!object->alive); in vm_object_reaper_thread()
2284 assert(!(flags & DEACTIVATE_ALL_REUSABLE));
2285 assert(!object->all_reusable);
2288 assert(object->resident_page_count >= object->reusable_page_count);
2454 assert(!(flags & DEACTIVATE_KILL) || (flags & DEACTIVATE_CLEAR_REFMOD));
2591 assert(object->reusable_page_count == 0);
2619 assert((object)->reusable_page_count <= \
2621 assert((object)->reusable_page_count > 0); \
2647 assert(object->reusable_page_count == 0);
2660 assert(object->resident_page_count >= object->reusable_page_count);
2663 assert(!m->vmp_reusable);
2771 assert(phy_page_num == vm_page_guard_addr);
2924 assert(phys_start <= phys_end);
2925 assert(phys_end <= object->vo_shadow_offset + object->vo_size);
2948 assert(object->internal);
3176 assert(size == trunc_page_64(size)); /* Will the loop terminate? */
3261 assert(src_object->internal);
3262 assert(src_object->shadow == NULL);
3263 assert(src_object->pager == NULL);
3740 assert((old_copy->shadow == src_object) &&
3805 assert(src_object->ref_count > 0);
3809 assert(new_copy->ref_count > 0);
3855 assert(src_object != VM_OBJECT_NULL);
3969 assert(source != VM_OBJECT_NULL);
3974 assert(source->copy_strategy == MEMORY_OBJECT_COPY_SYMMETRIC);
3987 …assert(source->copy_strategy != MEMORY_OBJECT_COPY_NONE); /* Purgeable objects shouldn't have shad…
4176 assert(pager != MEMORY_OBJECT_NULL);
4180 assert(object->internal);
4181 assert(object->pager_created);
4182 assert(!object->pager_initialized);
4183 assert(!object->pager_ready);
4184 assert(object->pager_trusted);
4187 assert(object != VM_OBJECT_NULL);
4200 assert(control != MEMORY_OBJECT_CONTROL_NULL);
4202 assert(!object->pager_ready);
4203 assert(!object->pager_initialized);
4204 assert(object->pager == NULL);
4205 assert(object->pager_control == NULL);
4265 assert(!is_kernel_object(object));
4319 assert((uint32_t) (object->vo_size / PAGE_SIZE) ==
4470 assert(object->purgable == VM_PURGABLE_DENY);
4471 assert(backing_object->purgable == VM_PURGABLE_DENY);
4488 assert(!p->vmp_busy || p->vmp_absent);
4522 assert(!pp->vmp_absent);
4540 assert((!object->pager_created &&
4552 assert(!object->paging_in_progress);
4553 assert(!object->activity_in_progress);
4554 assert(!object->pager_created);
4555 assert(object->pager == NULL);
4581 assert(!object->phys_contiguous);
4582 assert(!backing_object->phys_contiguous);
4599 assert((object->shadow == VM_OBJECT_NULL) ||
4611 assert(backing_object->ref_count == 1);
4612 assert(backing_object->resident_page_count == 0);
4613 assert(backing_object->paging_in_progress == 0);
4614 assert(backing_object->activity_in_progress == 0);
4615 assert(backing_object->shadow == VM_OBJECT_NULL);
4616 assert(backing_object->vo_shadow_offset == 0);
4627 assert(backing_object->pager == NULL);
4658 assert(!object->phys_contiguous);
4659 assert(!backing_object->phys_contiguous);
5024 assert(backing_vcount >= object_vcount);
5233 assert(!p->vmp_cleaning && !p->vmp_laundry);
5247 assert(!p->vmp_cleaning && !p->vmp_laundry);
5574 assert(object->vo_copy == VM_OBJECT_NULL);
5575 assert(object->copy_strategy == MEMORY_OBJECT_COPY_NONE);
5594 assert(object->resident_page_count >=
5599 assert(vm_page_purgeable_count >=
5605 assert(vm_page_purgeable_wired_count >=
5612 assert(object->purgable == VM_PURGABLE_EMPTY);
5625 assert(VM_CONFIG_COMPRESSOR_IS_PRESENT);
5649 assert(vm_compressor_pager_get_count(object->pager)
5791 assert(object->vo_copy == VM_OBJECT_NULL);
5792 assert(object->copy_strategy == MEMORY_OBJECT_COPY_NONE);
5844 assert(object->resident_page_count >=
5849 assert(vm_page_purgeable_count >= delta);
5856 assert(vm_page_purgeable_wired_count >=
5865 assert(object->objq.next != NULL &&
5874 assert(queue);
5879 assert(queue->debug_count_objects >= 0);
5913 assert(old_state != VM_PURGABLE_EMPTY);
5953 assert(object->resident_page_count >=
5970 assert(object->objq.next != NULL);
5971 assert(object->objq.prev != NULL);
5984 assert(object->objq.next != NULL && object->objq.prev != NULL); /* object should be on a queue */
5987 assert(old_queue);
6009 assert(result == KERN_SUCCESS); /* this should never fail since we just freed a token */
6021 assert(queue->debug_count_objects >= 0);
6049 assert(object->objq.next != NULL &&
6053 assert(old_queue);
6079 assert(object->purgable == VM_PURGABLE_EMPTY);
6192 assert(object->ref_count > 0);
6326 assert(vm_page_queue_empty(&object2->memq));
6337 assert(vm_page_queue_empty(&object1->memq));
6347 assert(vm_page_queue_empty(&object1->memq));
6353 assert(vm_page_queue_empty(&object2->memq));
6360 assert(vm_page_queue_empty(&tmp_object->memq));
6372 assert(object1->vo_size == object2->vo_size);
6375 assert(object1->ref_count >= 1);
6376 assert(object2->ref_count >= 1);
6384 assert(!object1->vo_copy);
6385 assert(!object2->vo_copy);
6387 assert(!object1->shadow);
6388 assert(!object2->shadow);
6404 assert(!object1->paging_in_progress);
6405 assert(!object2->paging_in_progress);
6406 assert(object1->activity_in_progress);
6407 assert(object2->activity_in_progress);
6418 assert(object1->alive);
6419 assert(object2->alive);
6421 assert(object1->purgable == VM_PURGABLE_DENY);
6422 assert(object2->purgable == VM_PURGABLE_DENY);
6427 assert(!object1->terminating);
6428 assert(!object2->terminating);
6431 assert(object1->ref_count >= 2);
6432 assert(object2->ref_count >= 1);
6436 assert(object1->ref_count >= 1);
6437 assert(object2->ref_count >= 2);
6450 assert(object1->cached_list.prev == NULL);
6451 assert(object2->cached_list.prev == NULL);
6467 assert(object1->blocked_access);
6468 assert(object2->blocked_access);
6470 assert(!object1->object_is_shared_cache);
6471 assert(!object2->object_is_shared_cache);
6473 assert(!object1->io_tracking);
6474 assert(!object2->io_tracking);
6476 assert(!object1->access_tracking);
6477 assert(!object2->access_tracking);
6481 assert(!object1->eligible_for_secluded);
6482 assert(!object2->eligible_for_secluded);
6483 assert(!object1->can_grab_secluded);
6484 assert(!object2->can_grab_secluded);
6486 assert(object1->__object3_unused_bits == 0);
6487 assert(object2->__object3_unused_bits == 0);
6492 assert((object1->purgable == VM_PURGABLE_DENY) || (object1->objq.next == NULL));
6493 assert((object1->purgable == VM_PURGABLE_DENY) || (object1->objq.prev == NULL));
6494 assert((object2->purgable == VM_PURGABLE_DENY) || (object2->objq.next == NULL));
6495 assert((object2->purgable == VM_PURGABLE_DENY) || (object2->objq.prev == NULL));
6584 assert( !(*length & PAGE_MASK));
6585 assert( !(*start & PAGE_MASK_64));
6753 assert(throttle_limit == max_length);
6811 assert((vm_size_t)(orig_start - target_start) == (orig_start - target_start));
6824 assert( !(target_start & PAGE_MASK_64));
6825 assert( !(pre_heat_size & PAGE_MASK_64));
6872 assert(offset < object_size);
6994 assert(dst_page->vmp_busy || (ops & UPL_POP_BUSY));
7013 assert(dst_page->vmp_busy);
7036 assert(dst_page->vmp_busy);
7078 assert(*range == (offset_end - offset_beg));
7137 assert(*range == (offset - offset_beg));
7385 assert(c_freezer_last_yield_ts);
7416 assert(object != VM_OBJECT_NULL);
7417 assert(object->internal);
7634 assert(object != VM_OBJECT_NULL );
7667 assert(p->vmp_q_state != VM_PAGE_ON_FREE_Q);
7704 assert(!p->vmp_fictitious);
7705 assert(!p->vmp_busy);
7706 assert(!p->vmp_absent);
7707 assert(!p->vmp_unusual);
7708 assert(!VMP_ERROR_GET(p)); /* XXX there's a window here where we could have an ECC error! */
7709 assert(!VM_PAGE_WIRED(p));
7710 assert(!p->vmp_cleaning);
7827 assert((io_upl->flags & UPL_DECMP_REAL_IO) != 0);
8051 assert(object->shadow == VM_OBJECT_NULL);
8062 assert(object->purgable != VM_PURGABLE_DENY);
8235 assert(object->copy_strategy == MEMORY_OBJECT_COPY_NONE);
8236 assert(object->shadow == VM_OBJECT_NULL);
8237 assert(object->vo_copy == VM_OBJECT_NULL);
8255 assert(object->internal);
8401 assert(old_owner != kernel_task);
8403 assert(!new_task_objq_locked);
8483 assert(new_task_objq_locked);
8528 assert(task->task_volatile_objects == 0);
8529 assert(task->task_nonvolatile_objects == 0);
8530 assert(task->task_owned_objects == 0);
8551 assert(object->vo_purgeable_volatilizer == NULL);
8553 assert(object->vo_owner == task);
8560 assert(VM_OBJECT_OWNER(object) != kernel_task);
8567 assert(kr == KERN_SUCCESS);
8568 assert(object->vo_owner == VM_OBJECT_OWNER_DISOWNED);
8585 assert(task->task_volatile_objects == 0);
8586 assert(task->task_nonvolatile_objects == 0);
8587 assert(task->task_owned_objects == 0);
8588 assert(task->task_objects_disowning);