Re: [Xen-devel] [PATCH 2/4] xen/arm64: Document the register mapping aarch64 <-> aarch32

[Ian Campbell <ian.campbell@xxxxxxxxxx>]

On Fri, 2015-12-11 at 15:28 +0000, Julien Grall wrote:
> The mapping between aarch64 and aarch32 has not been chosen in random.
> It's based on D1.20.1 in ARM DDI 0487A.d.
> 
> The section is not obvious to find in the spec, so make it clear for the
> anyone else.
> 
> Signed-off-by: Julien Grall <julien.grall@xxxxxxxxxx>

Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>

> ---
> Âxen/include/asm-arm/arm64/processor.h | 7 ++++++-
> Â1 file changed, 6 insertions(+), 1 deletion(-)
> 
> diff --git a/xen/include/asm-arm/arm64/processor.h b/xen/include/asm-
> arm/arm64/processor.h
> index 3a9c0cd..fef35a5 100644
> --- a/xen/include/asm-arm/arm64/processor.h
> +++ b/xen/include/asm-arm/arm64/processor.h
> @@ -15,7 +15,12 @@
> Â/* On stack VCPU state */
> Âstruct cpu_user_regs
> Â{
> -ÂÂÂÂ/*ÂÂÂÂÂÂÂÂÂAarch64ÂÂÂÂÂÂÂAarch32 */
> +ÂÂÂÂ/*
> +ÂÂÂÂÂ* The mapping AArch64 <-> AArch32 is based on D1.20.1 in ARM DDI
> +ÂÂÂÂÂ* 0487A.d.
> +ÂÂÂÂÂ*
> +ÂÂÂÂÂ*ÂÂÂÂÂÂÂÂÂAArch64ÂÂÂÂÂÂÂAArch32
> +ÂÂÂÂÂ*/
> ÂÂÂÂÂ__DECL_REG(x0,ÂÂÂÂÂÂÂÂÂÂÂr0/*_usr*/);
> ÂÂÂÂÂ__DECL_REG(x1,ÂÂÂÂÂÂÂÂÂÂÂr1/*_usr*/);
> ÂÂÂÂÂ__DECL_REG(x2,ÂÂÂÂÂÂÂÂÂÂÂr2/*_usr*/);
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel