Lines Matching refs:assert

52 	assert(lowest_level >= 1 && lowest_level <= PAGE_LEVEL);  in find_pte_level()
119 	assert(phys % PAGE_SIZE == 0);  in install_pages()
120 	assert((uintptr_t) virt % PAGE_SIZE == 0);  in install_pages()
121 	assert(len % PAGE_SIZE == 0);  in install_pages()
240 	assert(pte & PT_PRESENT_MASK);  in split_large_page()
241 	assert(pte & PT_PAGE_SIZE_MASK);  in split_large_page()
242 	assert(level == 2 || level == 3);  in split_large_page()
245 	assert(new_pt);  in split_large_page()
295 	assert(ptep);  in force_4k_page()
297 	assert(pte & PT_PRESENT_MASK);  in force_4k_page()
302 	assert(ptep);  in force_4k_page()
304 	assert(pte & PT_PRESENT_MASK);  in force_4k_page()
323         assert(found_leaf_pte(search));  in walk_pte()