Lines Matching refs:DEBUG_ASSERT
67 DEBUG_ASSERT(is_inside_aspace(aspace, vaddr)); in trim_to_aspace()
92 DEBUG_ASSERT(name); in alloc_region_struct()
111 DEBUG_ASSERT(aspace); in add_region_to_aspace()
112 DEBUG_ASSERT(r); in add_region_to_aspace()
174 DEBUG_ASSERT(pva); in check_gap()
212 DEBUG_ASSERT(aspace); in alloc_spot()
213 DEBUG_ASSERT(size > 0 && IS_PAGE_ALIGNED(size)); in alloc_spot()
277 DEBUG_ASSERT(before != NULL); in alloc_region()
291 DEBUG_ASSERT(aspace); in vmm_reserve_space()
292 DEBUG_ASSERT(IS_PAGE_ALIGNED(vaddr)); in vmm_reserve_space()
293 DEBUG_ASSERT(IS_PAGE_ALIGNED(size)); in vmm_reserve_space()
332 DEBUG_ASSERT(aspace); in vmm_alloc_physical()
333 DEBUG_ASSERT(IS_PAGE_ALIGNED(paddr)); in vmm_alloc_physical()
334 DEBUG_ASSERT(IS_PAGE_ALIGNED(size)); in vmm_alloc_physical()
389 DEBUG_ASSERT(aspace); in vmm_alloc_contiguous()
418 DEBUG_ASSERT(count == 0); /* check that the pmm didn't allocate a partial run */ in vmm_alloc_contiguous()
463 DEBUG_ASSERT(aspace); in vmm_alloc()
491 DEBUG_ASSERT(count <= size); in vmm_alloc()
517 DEBUG_ASSERT(IS_PAGE_ALIGNED(va)); in vmm_alloc()
519 DEBUG_ASSERT(va <= r->base + r->size - 1); in vmm_alloc()
522 DEBUG_ASSERT(IS_PAGE_ALIGNED(pa)); in vmm_alloc()
545 DEBUG_ASSERT(aspace); in vmm_find_region()
677 DEBUG_ASSERT(thread_lock_held()); in vmm_context_switch()
686 DEBUG_ASSERT(t); in vmm_set_active_aspace()