>>> On 03.12.15 at 12:02, <stefano.stabell...@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? Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
