Re: [PATCH v2] xen/arm32: head: Don't set r12 and update the documentation

[Michal Orzel <michal.orzel@xxxxxxx>]

Hi Julien,

On 28.02.2022 14:35, Julien Grall wrote:
> From: Julien Grall <jgrall@xxxxxxxxxx>
> 
> Since commit 54c4ae18d158 ("xen/arm32: head: Rework and document
> launch()"), the boot code is setting r12 but not read it.
> 
> So remove the two instructions setting r12 and update the documentation
> to show r12 has no specific purpose.
> 
> Signed-off-by: Julien Grall <jgrall@xxxxxxxxxx>
> 
> ---
>     Changes in v2:
>         - Don't set r12.
> ---

Reviewed-by: Michal Orzel <michal.orzel@xxxxxxx>

Cheers,
Michal