High 32 bits of SFMASK is reserved

Adam Lackorzynski adam at os.inf.tu-dresden.de
Wed Sep 19 03:23:27 CEST 2018


Hi,

On Tue Sep 18, 2018 at 22:45:41 +0100, Yuxuan Shui wrote:
> In cpu-64.cpp, in function Cpu::setup_sysenter, Fiasco try to set
> IA32_FMASK (called MSR_SFMASK in the code) to ~0ULL. However, only the
> lower 32bit of FMASK should be written to.
> 
> This cause problems on some platforms.

Thanks a lot, will be fixed.


Adam



More information about the l4-hackers mailing list