Subject: Re: [PATCH 03/10] powerpc: Add kexec support for PPC_85xx platforms

From: Benjamin Herrenschmidt <[email-masked]>
Date: Sat, 15 Dec 2007 17:16:25 +1100

> index 8b642ab..db0e749 100644
> --- a/arch/powerpc/kernel/misc_32.S
> +++ b/arch/powerpc/kernel/misc_32.S
> @@ -816,6 +816,75 @@ relocate_new_kernel:
>  	/* r4 = reboot_code_buffer */
>  	/* r5 = start_address      */
>  
> +#ifdef CONFIG_E500
> +	/*
> +	 * Since we can't turn off the MMU, we must create an identity
> +	 * map for kernel low memory.  We start by invalidating the
> +	 * TLB entries we don't need.
> +	 *
> +	 * First, invalidate the TLB0 entries
> +	 */
> +	li	r6, 0x04
> +	tlbivax	0, r6
> +#ifdef CONFIG_SMP
> +	tlbsync
> +#endif
> +	msync
> +

This is really E500 specific or should it be CONFIG_FSL_BOOKE ?

Ben.