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...
_______________________________________________
kvmarm mailing list
kvmarm@xxxxxxxxxxxxxxxxxxxxx
https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
