static void kimage_free_page_list(struct list_head *list){	struct list_head *pos, *next;	list_for_each_safe(pos, next, list) {		struct page *page;		page = list_entry(pos, struct page, lru);		list_del(&page->lru);		kimage_free_pages(page);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/72414d3f1d22fc3e311b162fca95c430048d38ce/kexec.c/clean/kernel/kexec.c