On Tue, 13 Oct 2026 at 11:12, Philippe Mathieu-Daudé
<[email protected]> wrote:
>
> On 13/10/26 10:39, Peter Maydell wrote:
> > The IRS_VMAP_VMR register lets the guest mark a VM as valid. This is
> > a 64-bit register similar in operation to IRS_VMAP_L2_VMTR.
> > @@ -1604,6 +1679,14 @@ static bool config_writel(GICv5 *s, GICv5Domain
> > domain, hwaddr offset,
> > deposit64(cs->irs_vmap_l2_vmtr[domain],
> > 32, 32, data));
> > return true;
> > + case A_IRS_VMAP_VMR:
> > + irs_vmap_vmr_write(s, domain,
> > + deposit64(cs->irs_vmap_vmr[domain], 0, 32,
> > data));
> > + return true;
> > + case A_IRS_VMAP_VMR + 4:
> > + irs_vmap_vmr_write(s, domain,
> > + deposit64(cs->irs_vmap_vmr[domain], 32, 32,
> > data));
> > + return true;
> > case A_IRS_SPI_SELR:
> > cs->irs_spi_selr[domain] = data;
> > return true;
> > @@ -1704,6 +1787,14 @@ static bool config_readll(GICv5 *s, GICv5Domain
> > domain, hwaddr offset,
> > *data = 0;
> > }
> > return true;
> > + case A_IRS_VMAP_VMR:
> > + if (gicv5_domain_has_virt(cs, domain) &&
> > s->vmt_config[domain].valid) {
> > + *data = cs->irs_vmap_l2_vmtr[domain];
>
> irs_vmap_l2_vmtr[] or irs_vmap_vmr[]?
Should be irs_vmap_vmr[]; silly copy-paste mistake.
thanks
-- PMM
