Re: [PATCH] ignore writes to GICD_ICACTIVER ... GICD_ICACTIVERN

[Julien Grall <julien.grall@citrix.com>]

On 03/12/15 11:41, Jan Beulich wrote:
>>>> On 03.12.15 at 12:02, <stefano.stabellini@eu.citrix.com> 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?

v is not necessarily the current vCPU.

Regards,

-- 
Julien Grall