High 32 bits of SFMASK is reserved
matthias.lange at kernkonzept.com
Thu Sep 20 20:05:12 CEST 2018
On [18-09-2018 22:45], 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.
The fix has landed in our public repository . Thank you for reporting this
> Yuxuan Shui
More information about the l4-hackers