High 32 bits of SFMASK is reserved

[Yuxuan Shui]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20180918/fa4e7632/attachment.html>