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()
200 			assert(alignment_bits > 1);  in pages_map()
230 	assert(addr == NULL);  in pages_map()
236 	assert(PAGE_ADDR2BASE(ret) == ret);  in pages_map()
242 	assert(PAGE_ADDR2BASE(addr) == addr);  in pages_unmap()
243 	assert(PAGE_CEILING(size) == size);  in pages_unmap()
250 	assert(PAGE_ADDR2BASE(addr) == addr);  in pages_commit_impl()
251 	assert(PAGE_CEILING(size) == size);  in pages_commit_impl()
293 	assert(ALIGNMENT_ADDR2BASE(addr, os_page) == addr);  in pages_purge_lazy()
294 	assert(PAGE_CEILING(size) == size);  in pages_purge_lazy()
328 	assert(PAGE_ADDR2BASE(addr) == addr);  in pages_purge_forced()
329 	assert(PAGE_CEILING(size) == size);  in pages_purge_forced()
349 		assert(HUGEPAGE_ADDR2BASE(addr) == addr);  in pages_huge_impl()
350 		assert(HUGEPAGE_CEILING(size) == size);  in pages_huge_impl()
372 		assert(HUGEPAGE_ADDR2BASE(addr) == addr);  in pages_nohuge_impl()
373 		assert(HUGEPAGE_CEILING(size) == size);  in pages_nohuge_impl()
395 	assert(PAGE_ADDR2BASE(addr) == addr);  in pages_dontdump()
396 	assert(PAGE_CEILING(size) == size);  in pages_dontdump()
406 	assert(PAGE_ADDR2BASE(addr) == addr);  in pages_dodump()
407 	assert(PAGE_CEILING(size) == size);  in pages_dodump()
534 	assert(opt_thp != thp_mode_not_supported &&  in pages_set_thp_state()
539 		assert(init_system_thp_mode == thp_mode_default);  in pages_set_thp_state()
542 		assert(init_system_thp_mode == thp_mode_default ||  in pages_set_thp_state()
640 		assert(pages_can_purge_lazy_runtime);  in pages_boot()