Lines Matching refs:DEBUG_ASSERT
145 DEBUG_ASSERT(init_table); in x86_mmu_get_mapping()
222 DEBUG_ASSERT(init_table); in x86_mmu_check_mapping()
288 DEBUG_ASSERT(page_ptr); in _map_alloc_page()
313 DEBUG_ASSERT(init_table); in x86_mmu_add_mapping()
359 DEBUG_ASSERT(pd_paddr); in x86_mmu_add_mapping()
444 DEBUG_ASSERT(init_table); in x86_mmu_unmap()
467 DEBUG_ASSERT(aspace); in arch_mmu_unmap()
475 DEBUG_ASSERT(x86_get_cr3()); in arch_mmu_unmap()
493 DEBUG_ASSERT(init_table); in x86_mmu_map_range()
529 DEBUG_ASSERT(aspace); in arch_mmu_query()
534 DEBUG_ASSERT(x86_get_cr3()); in arch_mmu_query()
554 DEBUG_ASSERT(aspace); in arch_mmu_map()
562 DEBUG_ASSERT(x86_get_cr3()); in arch_mmu_map()
614 DEBUG_ASSERT(aspace); in arch_mmu_init_aspace()