55 	assert(ALIGNMENT_ADDR2BASE(addr, os_page) == addr);  in os_pages_map()
56 	assert(ALIGNMENT_CEILING(size, os_page) == size);  in os_pages_map()
57 	assert(size != 0);  in os_pages_map()
81 	assert(ret != NULL);  in os_pages_map()
93 	assert(ret == NULL || (addr == NULL && ret != addr) || (addr != NULL &&  in os_pages_map()
103 	assert(alloc_size >= leadsize + size);  in os_pages_trim()
129 	assert(ALIGNMENT_ADDR2BASE(addr, os_page) == addr);  in os_pages_unmap()
130 	assert(ALIGNMENT_CEILING(size, os_page) == size);  in os_pages_unmap()
173 	assert(ret != NULL);  in pages_map_slow()
174 	assert(PAGE_ADDR2BASE(ret) == ret);  in pages_map_slow()
180 	assert(alignment >= PAGE);  in pages_map()
181 	assert(ALIGNMENT_ADDR2BASE(addr, alignment) == addr);  in pages_map()
201 	assert(addr == NULL);  in pages_map()
207 	assert(PAGE_ADDR2BASE(ret) == ret);  in pages_map()
213 	assert(PAGE_ADDR2BASE(addr) == addr);  in pages_unmap()
214 	assert(PAGE_CEILING(size) == size);  in pages_unmap()
221 	assert(PAGE_ADDR2BASE(addr) == addr);  in pages_commit_impl()
222 	assert(PAGE_CEILING(size) == size);  in pages_commit_impl()
264 	assert(PAGE_ADDR2BASE(addr) == addr);  in pages_purge_lazy()
265 	assert(PAGE_CEILING(size) == size);  in pages_purge_lazy()
299 	assert(PAGE_ADDR2BASE(addr) == addr);  in pages_purge_forced()
300 	assert(PAGE_CEILING(size) == size);  in pages_purge_forced()
320 		assert(HUGEPAGE_ADDR2BASE(addr) == addr);  in pages_huge_impl()
321 		assert(HUGEPAGE_CEILING(size) == size);  in pages_huge_impl()
343 		assert(HUGEPAGE_ADDR2BASE(addr) == addr);  in pages_nohuge_impl()
344 		assert(HUGEPAGE_CEILING(size) == size);  in pages_nohuge_impl()
366 	assert(PAGE_ADDR2BASE(addr) == addr);  in pages_dontdump()
367 	assert(PAGE_CEILING(size) == size);  in pages_dontdump()
377 	assert(PAGE_ADDR2BASE(addr) == addr);  in pages_dodump()
378 	assert(PAGE_CEILING(size) == size);  in pages_dodump()
501 	assert(opt_thp != thp_mode_not_supported &&  in pages_set_thp_state()
506 		assert(init_system_thp_mode == thp_mode_default);  in pages_set_thp_state()
509 		assert(init_system_thp_mode == thp_mode_default ||  in pages_set_thp_state()
598 		assert(pages_can_purge_lazy_runtime);  in pages_boot()