xen/arm32: head: Don't set r12 and update the documentation
authorJulien Grall <jgrall@amazon.com>
Tue, 1 Mar 2022 19:59:54 +0000 (19:59 +0000)
committerJulien Grall <jgrall@amazon.com>
Tue, 1 Mar 2022 20:01:12 +0000 (20:01 +0000)
commitfaecea18d252f97c6ad41f0f457566ff2c125b8d
treea3b7881e160dbc4aa404db085d7d15066cd38a6a
parent767bae66e10494f7fb00544b861dd7d099f41921
xen/arm32: head: Don't set r12 and update the documentation

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@amazon.com>
Reviewed-by: Michal Orzel <michal.orzel@arm.com>
Reviewed-by: Bertrand Marquis <bertrand.marquis@arm.com>
xen/arch/arm/arm32/head.S