High 32 bits of SFMASK is reserved

[Matthias Lange]

Hi,

On [18-09-2018 22:45], Yuxuan Shui wrote:
> Hi,
> 
> 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 [1]. Thank you for reporting this
issue.

Regards,
Matthias.

[1] https://github.com/kernkonzept/fiasco/commit/cbb304483dec557749580e680c95b6293ef9b6e8

> -- 
> 
> Regards
> Yuxuan Shui