79 	assert(!refcount_val(&fobj->refc));  in fobj_uninit()
80 	assert(TAILQ_EMPTY(&fobj->regions));  in fobj_uninit()
111 	assert(state->iv + 1 > state->iv);  in rwp_save_page()
132 	assert(rwp_state_base);  in idx_to_state_padded()
138 	assert(rwp_store_base);  in idx_to_store()
177 	assert(fobj->ops == &ops_rwp_paged_iv);  in to_rwp_paged_iv()
189 	assert(refcount_val(&fobj->refc));  in rwp_paged_iv_load_page()
190 	assert(page_idx < fobj->num_pages);  in rwp_paged_iv_load_page()
203 	assert(page_idx < fobj->num_pages);  in rwp_paged_iv_save_page()
210 		assert(TAILQ_EMPTY(&fobj->regions));  in rwp_paged_iv_save_page()
224 	assert(mm);  in rwp_paged_iv_free()
237 	assert(page_idx < fobj->num_pages);  in rwp_paged_iv_get_iv_vaddr()
275 	assert(rwp->store);  in rwp_unpaged_iv_alloc()
290 	assert(fobj->ops == &ops_rwp_unpaged_iv);  in to_rwp_unpaged_iv()
301 	assert(refcount_val(&fobj->refc));  in rwp_unpaged_iv_load_page()
302 	assert(page_idx < fobj->num_pages);  in rwp_unpaged_iv_load_page()
315 	assert(page_idx < fobj->num_pages);  in rwp_unpaged_iv_save_page()
322 		assert(TAILQ_EMPTY(&fobj->regions));  in rwp_unpaged_iv_save_page()
341 	assert(mm);  in rwp_unpaged_iv_free()
378 	assert(ta_size && !(ta_size & SMALL_PAGE_SIZE));  in rwp_init()
396 	assert(rwp_state_base);  in rwp_init()
400 	assert(rwp_store_base);  in rwp_init()
408 	assert(num_pages);  in fobj_rw_paged_alloc()
437 	assert(num_pages && hashes && store);  in fobj_ro_paged_alloc()
450 	assert(fobj->ops == &ops_ro_paged);  in to_rop()
476 	assert(refcount_val(&rop->fobj.refc));  in rop_load_page_helper()
477 	assert(page_idx < rop->fobj.num_pages);  in rop_load_page_helper()
552 		assert(IS_ALIGNED_WITH_TYPE(reloc[n], unsigned long));  in get_num_rels()
553 		assert(offs < reloc[n]);	/* check that it's sorted */  in get_num_rels()
592 	assert(reln == rrp->num_relocs);  in init_rels()
604 	assert(IS_ALIGNED_WITH_TYPE(reloc, uint32_t));  in fobj_ro_reloc_paged_alloc()
605 	assert(IS_ALIGNED_WITH_TYPE(reloc_len, uint32_t));  in fobj_ro_reloc_paged_alloc()
606 	assert(num_pages && hashes && store);  in fobj_ro_reloc_paged_alloc()
608 		assert(!reloc);  in fobj_ro_reloc_paged_alloc()
611 	assert(reloc);  in fobj_ro_reloc_paged_alloc()
632 	assert(fobj->ops == &ops_ro_reloc_paged);  in to_rrp()
693 	assert(num_pages);  in fobj_locked_paged_alloc()
706 	assert(fobj->ops == &ops_locked_paged);  in lop_free()
715 	assert(fobj->ops == &ops_locked_paged);  in lop_load_page()
716 	assert(refcount_val(&fobj->refc));  in lop_load_page()
717 	assert(page_idx < fobj->num_pages);  in lop_load_page()
790 	assert(fobj->ops == &ops_sec_mem);  in to_sec_mem()
799 	assert(!refcount_val(&fobj->refc));  in sec_mem_free()
808 	assert(refcount_val(&fobj->refc));  in sec_mem_get_pa()
809 	assert(page_idx < fobj->num_pages);  in sec_mem_get_pa()