Lines Matching refs:assert
40 assert(stctg(1) == asce); in mmu_enable()
71 assert(!pud_huge(*pud)); in get_pmd()
85 assert(!pmd_large(*pmd)); in get_pte()
102 assert(pmd_large(*pmd)); in split_pmd()
124 assert(pud_huge(*pud)); in split_pud()
141 assert(level && (level <= 5)); in get_dat_entry()
164 assert((level >= 3) && (level <= 5)); in split_page()
266 assert(IS_ALIGNED(phys, PAGE_SIZE)); in install_page()
267 assert(IS_ALIGNED((uintptr_t)vaddr, PAGE_SIZE)); in install_page()
273 assert(IS_ALIGNED(phys, SZ_1M)); in install_large_page()
274 assert(IS_ALIGNED((uintptr_t)vaddr, SZ_1M)); in install_large_page()
280 assert(IS_ALIGNED(phys, SZ_2G)); in install_huge_page()
281 assert(IS_ALIGNED((uintptr_t)vaddr, SZ_2G)); in install_huge_page()