Lines Matching refs:DEBUG_ASSERT
53 DEBUG_ASSERT(1); in mmu_flags_to_pte_attr()
95 DEBUG_ASSERT(aspace); in arch_mmu_query()
96 DEBUG_ASSERT(aspace->tt_virt); in arch_mmu_query()
98 DEBUG_ASSERT(is_valid_vaddr(aspace, vaddr)); in arch_mmu_query()
488 DEBUG_ASSERT(aspace); in arch_mmu_map()
489 DEBUG_ASSERT(aspace->tt_virt); in arch_mmu_map()
491 DEBUG_ASSERT(is_valid_vaddr(aspace, vaddr)); in arch_mmu_map()
496 DEBUG_ASSERT(IS_PAGE_ALIGNED(vaddr)); in arch_mmu_map()
497 DEBUG_ASSERT(IS_PAGE_ALIGNED(paddr)); in arch_mmu_map()
525 DEBUG_ASSERT(aspace); in arch_mmu_unmap()
526 DEBUG_ASSERT(aspace->tt_virt); in arch_mmu_unmap()
528 DEBUG_ASSERT(is_valid_vaddr(aspace, vaddr)); in arch_mmu_unmap()
533 DEBUG_ASSERT(IS_PAGE_ALIGNED(vaddr)); in arch_mmu_unmap()
558 DEBUG_ASSERT(aspace); in arch_mmu_init_aspace()
561 DEBUG_ASSERT(size > PAGE_SIZE); in arch_mmu_init_aspace()
562 DEBUG_ASSERT(base + size - 1 > base); in arch_mmu_init_aspace()
567 DEBUG_ASSERT(base == ~0UL << MMU_KERNEL_SIZE_SHIFT); in arch_mmu_init_aspace()
568 DEBUG_ASSERT(size == 1UL << MMU_KERNEL_SIZE_SHIFT); in arch_mmu_init_aspace()
576 DEBUG_ASSERT(base + size <= 1UL << MMU_USER_SIZE_SHIFT); in arch_mmu_init_aspace()
601 DEBUG_ASSERT(aspace); in arch_mmu_destroy_aspace()
602 DEBUG_ASSERT((aspace->flags & ARCH_ASPACE_FLAG_KERNEL) == 0); in arch_mmu_destroy_aspace()
607 DEBUG_ASSERT(page); in arch_mmu_destroy_aspace()
620 DEBUG_ASSERT((aspace->flags & ARCH_ASPACE_FLAG_KERNEL) == 0); in arch_mmu_context_switch()