Re: [PATCH v2 3/5] target/arm: Handle trapping to EL2 of AArch32 VMRS instructions

[Marc Zyngier]

On 2019-12-02 16:56, Richard Henderson wrote:
> On 12/2/19 4:45 PM, Marc Zyngier wrote:
> > > Annoying that there's a bug in the manual -- FPSID is listed as 
> > > group 0 in
> > > plenty of places, except in the pseudo-code for Accessing the FPSID
> > > which uses TID3.
> >
> > Are you sure? I'm looking at DDI0487E_a,
> ...
> > Or have you spotted a discrepancy
> > somewhere else (which would be oh-so-surprising...)?
>
> In DDI0487E_a, page G8-6028:
>
> > elsif EL2Enabled() && !ELUsingAArch32(EL2) && HCR_EL2.TID3 == '1' 
> > then
> >   AArch64.AArch32SystemAccessTrap(EL2, 0x08);
> > elsif EL2Enabled() && ELUsingAArch32(EL2) && HCR.TID3 == '1' then
> >   AArch32.TakeHypTrapException(0x08);
> > else
> >   return FPSID;
>
> within the summary documentation for FPSID.

Ah, that was too obvious for me to find ;-). Indeed, this looks totally
bogus. I'll try and poke a few people...

Thanks,

        M.
--
Jazz is not dead. It just smells funny...