From mboxrd@z Thu Jan  1 00:00:00 1970
From: Julien Grall <julien.grall@linaro.org>
Subject: Re: [PATCH v3 06/14] xen: arm: implement
 arch_set_info_guest for 64-bit vcpus
Date: Thu, 07 Nov 2013 23:20:51 -0800
Message-ID: <527C90D3.9030801@linaro.org>
References: <1383842678.3189.15.camel@kazak.uk.xensource.com>
	<1383842696-8598-6-git-send-email-ian.campbell@citrix.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"; Format="flowed"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xen.org>
In-Reply-To: <1383842696-8598-6-git-send-email-ian.campbell@citrix.com>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Ian Campbell <ian.campbell@citrix.com>, xen-devel@lists.xen.org
Cc: ian.jackson@eu.citrix.com, tim@xen.org, stefano.stabellini@eu.citrix.com
List-Id: xen-devel@lists.xenproject.org



On 11/07/2013 08:44 AM, Ian Campbell wrote:
> This all seems too easy...
>
> Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Julien Grall <julien.grall@linaro.org>

> ---
>   xen/arch/arm/domain.c |   64 ++++++++++++++++++++++++++++++++++++++-----------
>   1 file changed, 50 insertions(+), 14 deletions(-)
>
> diff --git a/xen/arch/arm/domain.c b/xen/arch/arm/domain.c
> index cb0424d..5ff7adf 100644
> --- a/xen/arch/arm/domain.c
> +++ b/xen/arch/arm/domain.c
> @@ -550,7 +550,7 @@ void arch_domain_destroy(struct domain *d)
>       free_xenheap_page(d->shared_info);
>   }
>
> -static int is_guest_psr(uint32_t psr)
> +static int is_guest_pv32_psr(uint32_t psr)
>   {
>       switch (psr & PSR_MODE_MASK)
>       {
> @@ -569,6 +569,29 @@ static int is_guest_psr(uint32_t psr)
>       }
>   }
>
> +
> +#ifdef CONFIG_ARM_64
> +static int is_guest_pv64_psr(uint32_t psr)
> +{
> +    if ( psr & PSR_MODE_BIT )
> +        return 0;
> +
> +    switch (psr & PSR_MODE_MASK)
> +    {
> +    case PSR_MODE_EL1h:
> +    case PSR_MODE_EL1t:
> +    case PSR_MODE_EL0t:
> +        return 1;
> +    case PSR_MODE_EL3h:
> +    case PSR_MODE_EL3t:
> +    case PSR_MODE_EL2h:
> +    case PSR_MODE_EL2t:
> +    default:
> +        return 0;
> +    }
> +}
> +#endif
> +
>   /*
>    * Initialise VCPU state. The context can be supplied by either the
>    * toolstack (XEN_DOMCTL_setvcpucontext) or the guest
> @@ -580,19 +603,32 @@ int arch_set_info_guest(
>       struct vcpu_guest_context *ctxt = c.nat;
>       struct vcpu_guest_core_regs *regs = &c.nat->user_regs;
>
> -    if ( !is_guest_psr(regs->cpsr) )
> -        return -EINVAL;
> -
> -    if ( regs->spsr_svc && !is_guest_psr(regs->spsr_svc) )
> -        return -EINVAL;
> -    if ( regs->spsr_abt && !is_guest_psr(regs->spsr_abt) )
> -        return -EINVAL;
> -    if ( regs->spsr_und && !is_guest_psr(regs->spsr_und) )
> -        return -EINVAL;
> -    if ( regs->spsr_irq && !is_guest_psr(regs->spsr_irq) )
> -        return -EINVAL;
> -    if ( regs->spsr_fiq && !is_guest_psr(regs->spsr_fiq) )
> -        return -EINVAL;
> +    if ( is_pv32_domain(v->domain) )
> +    {
> +        if ( !is_guest_pv32_psr(regs->cpsr) )
> +            return -EINVAL;
> +
> +        if ( regs->spsr_svc && !is_guest_pv32_psr(regs->spsr_svc) )
> +            return -EINVAL;
> +        if ( regs->spsr_abt && !is_guest_pv32_psr(regs->spsr_abt) )
> +            return -EINVAL;
> +        if ( regs->spsr_und && !is_guest_pv32_psr(regs->spsr_und) )
> +            return -EINVAL;
> +        if ( regs->spsr_irq && !is_guest_pv32_psr(regs->spsr_irq) )
> +            return -EINVAL;
> +        if ( regs->spsr_fiq && !is_guest_pv32_psr(regs->spsr_fiq) )
> +            return -EINVAL;
> +    }
> +#ifdef CONFIG_ARM_64
> +    else
> +    {
> +        if ( !is_guest_pv64_psr(regs->cpsr) )
> +            return -EINVAL;
> +
> +        if ( regs->spsr_el1 && !is_guest_pv64_psr(regs->spsr_el1) )
> +            return -EINVAL;
> +    }
> +#endif
>
>       vcpu_regs_user_to_hyp(v, regs);
>
>

-- 
Julien Grall