switch(image->type) { 
 switch (image->type) { 
struct page *kimage_alloc_control_pages(	struct kimage *image, unsigned int order){	struct page *pages = NULL;	switch(image->type) {	case KEXEC_TYPE_DEFAULT:		pages = kimage_alloc_normal_control_pages(image, order);		break;	case KEXEC_TYPE_CRASH:		pages = kimage_alloc_crash_control_pages(image, order);		break;	}	return pages;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/72414d3f1d22fc3e311b162fca95c430048d38ce/kexec.c/buggy/kernel/kexec.c