811 void free_init_pages(const char *what, unsigned long begin, unsigned long end)  in free_init_pages()  argument
816 	begin_aligned = PAGE_ALIGN(begin);  in free_init_pages()
819 	if (WARN_ON(begin_aligned != begin || end_aligned != end)) {  in free_init_pages()
820 		begin = begin_aligned;  in free_init_pages()
824 	if (begin >= end)  in free_init_pages()
834 			begin, end - 1);  in free_init_pages()
839 		kmemleak_free_part((void *)begin, end - begin);  in free_init_pages()
840 		set_memory_np(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
847 		set_memory_nx(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
848 		set_memory_rw(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
850 		free_reserved_area((void *)begin, (void *)end,  in free_init_pages()
860 void free_kernel_image_pages(void *begin, void *end)  in free_kernel_image_pages()  argument
862 	unsigned long begin_ul = (unsigned long)begin;  in free_kernel_image_pages()