>>> On 03.12.15 at 12:41, <julien.gr...@citrix.com> wrote: > On 03/12/15 11:41, Jan Beulich wrote: >>>>> 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? > > v is not necessarily the current vCPU.
Okay, that's different then from how MMIO intercepts work on x86. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
