High 32 bits of SFMASK is reserved
Yuxuan Shui <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <CAGqt0zy50dsuK4Xa3C3cbewmb89TeU-8U5y8ZmQMtLjGFB33oA@mail.gmail.com> |
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 _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers