888 void free_init_pages(const char *what, unsigned long begin, unsigned long end)  in free_init_pages()  argument
893 	begin_aligned = PAGE_ALIGN(begin);  in free_init_pages()
896 	if (WARN_ON(begin_aligned != begin || end_aligned != end)) {  in free_init_pages()
897 		begin = begin_aligned;  in free_init_pages()
901 	if (begin >= end)  in free_init_pages()
911 			begin, end - 1);  in free_init_pages()
916 		kmemleak_free_part((void *)begin, end - begin);  in free_init_pages()
917 		set_memory_np(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
924 		set_memory_nx(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
925 		set_memory_rw(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
927 		free_reserved_area((void *)begin, (void *)end,  in free_init_pages()
937 void free_kernel_image_pages(const char *what, void *begin, void *end)  in free_kernel_image_pages()  argument
939 	unsigned long begin_ul = (unsigned long)begin;  in free_kernel_image_pages()