On Thu, Jan 31, 2019 at 01:07:00PM +0000, Peter Maydell wrote: > Martin: this is a different fix to the one I suggested you test, > because I realized we need to make these bits RAZ/WI in the aarch32 > FPSCR as well as the aarch64 FPCR, but it should have the same effect.
This one works fine for me too. Thanks! Martin
