Lines Matching refs:assert

29 	assert(paddr == __pa(paddr));  in pteval_to_ptep()
42 	assert(pgtable && !((uintptr_t)pgtable & ~PAGE_MASK));  in get_pte()
64 	assert(!(ppn & ~PTE_PPN));  in __install_page()
81 	assert(phys == (phys & PHYS_MASK));  in install_page()
95 	assert(phys_start == (phys_start & PHYS_MASK));  in mmu_set_range_ptes()
96 	assert(phys_end == (phys_end & PHYS_MASK));  in mmu_set_range_ptes()
97 	assert(phys_start < phys_end);  in mmu_set_range_ptes()
124 	assert(!(ppn & ~SATP_PPN));  in mmu_enable()
134 	assert(top == __pa(top));  in setup_mmu()
165 	assert(end == __pa(end));  in ioremap()
185 	assert(pgtable && !((uintptr_t)pgtable & ~PAGE_MASK));  in virt_to_pte_phys()
215 	assert(address == __pa(address));  in phys_to_virt()
216 	assert(virt_to_phys(__va(address)) == address);  in phys_to_virt()