886 void free_init_pages(const char *what, unsigned long begin, unsigned long end)  in free_init_pages()  argument
891 	begin_aligned = PAGE_ALIGN(begin);  in free_init_pages()
894 	if (WARN_ON(begin_aligned != begin || end_aligned != end)) {  in free_init_pages()
895 		begin = begin_aligned;  in free_init_pages()
899 	if (begin >= end)  in free_init_pages()
909 			begin, end - 1);  in free_init_pages()
914 		kmemleak_free_part((void *)begin, end - begin);  in free_init_pages()
915 		set_memory_np(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
922 		set_memory_nx(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
923 		set_memory_rw(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
925 		free_reserved_area((void *)begin, (void *)end,  in free_init_pages()
935 void free_kernel_image_pages(const char *what, void *begin, void *end)  in free_kernel_image_pages()  argument
937 	unsigned long begin_ul = (unsigned long)begin;  in free_kernel_image_pages()