783 void free_init_pages(const char *what, unsigned long begin, unsigned long end)  in free_init_pages()  argument
788 	begin_aligned = PAGE_ALIGN(begin);  in free_init_pages()
791 	if (WARN_ON(begin_aligned != begin || end_aligned != end)) {  in free_init_pages()
792 		begin = begin_aligned;  in free_init_pages()
796 	if (begin >= end)  in free_init_pages()
806 			begin, end - 1);  in free_init_pages()
811 		kmemleak_free_part((void *)begin, end - begin);  in free_init_pages()
812 		set_memory_np(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
819 		set_memory_nx(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
820 		set_memory_rw(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
822 		free_reserved_area((void *)begin, (void *)end,  in free_init_pages()
832 void free_kernel_image_pages(void *begin, void *end)  in free_kernel_image_pages()  argument
834 	unsigned long begin_ul = (unsigned long)begin;  in free_kernel_image_pages()