746 void free_init_pages(char *what, unsigned long begin, unsigned long end)  in free_init_pages()  argument
751 	begin_aligned = PAGE_ALIGN(begin);  in free_init_pages()
754 	if (WARN_ON(begin_aligned != begin || end_aligned != end)) {  in free_init_pages()
755 		begin = begin_aligned;  in free_init_pages()
759 	if (begin >= end)  in free_init_pages()
769 			begin, end - 1);  in free_init_pages()
770 		set_memory_np(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
777 		set_memory_nx(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
778 		set_memory_rw(begin, (end - begin) >> PAGE_SHIFT);  in free_init_pages()
780 		free_reserved_area((void *)begin, (void *)end,  in free_init_pages()
790 void free_kernel_image_pages(void *begin, void *end)  in free_kernel_image_pages()  argument
792 	unsigned long begin_ul = (unsigned long)begin;  in free_kernel_image_pages()