375 static void mpc85xx_smp_flush_dcache_kexec(struct kimage *image)  in mpc85xx_smp_flush_dcache_kexec()  argument
381 	if (image->type == KEXEC_TYPE_DEFAULT) {  in mpc85xx_smp_flush_dcache_kexec()
383 		for (ptr = &image->head; (entry = *ptr) && !(entry & IND_DONE);  in mpc85xx_smp_flush_dcache_kexec()
394 		for (i = 0; i < image->nr_segments; i++) {  in mpc85xx_smp_flush_dcache_kexec()
395 			struct kexec_segment *seg = &image->segment[i];  in mpc85xx_smp_flush_dcache_kexec()
404 	flush_dcache_range((unsigned long)image,  in mpc85xx_smp_flush_dcache_kexec()
405 			   (unsigned long)image + sizeof(*image));  in mpc85xx_smp_flush_dcache_kexec()
408 static void mpc85xx_smp_machine_kexec(struct kimage *image)  in mpc85xx_smp_machine_kexec()  argument
413 	mpc85xx_smp_flush_dcache_kexec(image);  in mpc85xx_smp_machine_kexec()
415 	if (image->type == KEXEC_TYPE_DEFAULT)  in mpc85xx_smp_machine_kexec()
433 	default_machine_kexec(image);  in mpc85xx_smp_machine_kexec()