High 32 bits of SFMASK is reserved

18 Sep 2018

      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.

-- 

Regards
Yuxuan Shui