Hi Julien,
On 2015/11/19 1:28, Julien Grall wrote:
> -case GICD_ICACTIVER ... GICD_ICACTIVERN:
> +case VRANGE32(GICD_ICACTIVER, GICD_ICACTIVERN):
> if ( dabt.size != DABT_WORD ) goto bad_width;
> printk(XENLOG_G_ERR
> "%pv: vGICD: unhandled word write %#"P
The offset in the emulation is based on byte. As most of the registers
are 64/32 bits, they will span over multiple bytes.
However, the current emulation only cares about the first offset. This
will result in not properly emulating any access on the register with
any other offset.
Introduce new m
