On Fri, Dec 27, 2019 at 09:05:46AM +0100, Ard Biesheuvel wrote: > > In theory, yes. But all this code does is move the top bit from bit 31 > to 63, which should be fine to convert any return code you may receive > from a runtime service. > Oh sorry, I misread the table in the spec and thought the warnings have high nibble set to 0x1.
