Lines Matching refs:DEBUG_ASSERT
77 DEBUG_ASSERT(level < RISCV_MMU_PT_LEVELS); in vaddr_to_index()
90 DEBUG_ASSERT(level < RISCV_MMU_PT_LEVELS); in page_size_per_level()
120 DEBUG_ASSERT(IS_PAGE_ALIGNED(pt)); in riscv_set_satp()
203 DEBUG_ASSERT(aspace); in arch_mmu_init_aspace()
204 DEBUG_ASSERT(aspace->magic != RISCV_ASPACE_MAGIC); in arch_mmu_init_aspace()
207 DEBUG_ASSERT(size > PAGE_SIZE); in arch_mmu_init_aspace()
208 DEBUG_ASSERT(base + size - 1 > base); in arch_mmu_init_aspace()
215 DEBUG_ASSERT(base == KERNEL_ASPACE_BASE); in arch_mmu_init_aspace()
216 DEBUG_ASSERT(size == KERNEL_ASPACE_SIZE); in arch_mmu_init_aspace()
217 DEBUG_ASSERT(!kernel_aspace); in arch_mmu_init_aspace()
229 DEBUG_ASSERT(base == USER_ASPACE_BASE); in arch_mmu_init_aspace()
230 DEBUG_ASSERT(size == USER_ASPACE_SIZE); in arch_mmu_init_aspace()
257 DEBUG_ASSERT(aspace); in arch_mmu_destroy_aspace()
258 DEBUG_ASSERT(aspace->magic == RISCV_ASPACE_MAGIC); in arch_mmu_destroy_aspace()
267 DEBUG_ASSERT(!list_is_empty(&aspace->pt_list)); // should be at least one page in arch_mmu_destroy_aspace()
317 DEBUG_ASSERT(aspace); in riscv_pt_walk()
388 DEBUG_ASSERT(level < RISCV_MMU_PT_LEVELS); in riscv_pt_walk()
399 DEBUG_ASSERT(aspace); in arch_mmu_map()
400 DEBUG_ASSERT(aspace->magic == RISCV_ASPACE_MAGIC); in arch_mmu_map()
421 DEBUG_ASSERT(pte & RISCV_PTE_PERM_MASK); in arch_mmu_map()
469 DEBUG_ASSERT(aspace); in arch_mmu_query()
470 DEBUG_ASSERT(aspace->magic == RISCV_ASPACE_MAGIC); in arch_mmu_query()
486 DEBUG_ASSERT(pte & RISCV_PTE_PERM_MASK); in arch_mmu_query()
517 DEBUG_ASSERT(aspace); in arch_mmu_unmap()
518 DEBUG_ASSERT(aspace->magic == RISCV_ASPACE_MAGIC); in arch_mmu_unmap()
540 DEBUG_ASSERT(pte & RISCV_PTE_PERM_MASK); in arch_mmu_unmap()
581 DEBUG_ASSERT(!aspace || aspace->magic == RISCV_ASPACE_MAGIC); in arch_mmu_context_switch()