Re: [Xen-devel] [PATCH] ignore writes to GICD_ICACTIVER ... GICD_ICACTIVERN

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 03.12.15 at 12:02, <stefano.stabellini@xxxxxxxxxxxxx> wrote:
> --- a/xen/arch/arm/vgic-v2.c
> +++ b/xen/arch/arm/vgic-v2.c
> @@ -315,11 +315,10 @@ static int vgic_v2_distr_mmio_write(struct vcpu *v, 
> mmio_info_t *info)
>          return 0;
>  
>      case GICD_ICACTIVER ... GICD_ICACTIVERN:
> -        if ( dabt.size != DABT_WORD ) goto bad_width;
> -        printk(XENLOG_G_ERR
> +        gdprintk(XENLOG_DEBUG,
>                 "%pv: vGICD: unhandled word write %#"PRIregister" to 
> ICACTIVER%d\n",
>                 v, *r, gicd_reg - GICD_ICACTIVER);

Do you really mean to print two domain/vcpu ID pairs here, the more
that I suppose v == current?

Jan


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