Hi Julien,

On 28.02.2022 14:35, Julien Grall wrote:
> From: Julien Grall <[email protected]>
> 
> 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 <[email protected]>
> 
> ---
>     Changes in v2:
>         - Don't set r12.
> ---

Reviewed-by: Michal Orzel <[email protected]>

Cheers,
Michal

Reply via email to