Re: [Xen-devel] [PATCH v9 7/7] xen/arm: check for GICv3 platform support

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Thu, 2014-09-04 at 18:45 +0530, vijay.kilari@xxxxxxxxx wrote:
> From: Vijaya Kumar K <Vijaya.Kumar@xxxxxxxxxxxxxxxxxx>
> 
> ID_AA64PFR0_EL1 register provides information about GIC support.
> Check for this register in GICv3 driver.
> 
> Also print GICv3 support information in boot log
> 
> Signed-off-by: Vijaya Kumar K <Vijaya.Kumar@xxxxxxxxxxxxxxxxxx>

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

> +        dprintk(XENLOG_ERR, "GICv3: driver requests system register 
> support\n");

Did you mean "requires"?

Ian.


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel