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.

--