High 32 bits of SFMASK is reserved

Matthias Lange matthias.lange at kernkonzept.com
Thu Sep 20 20:05:12 CEST 2018


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


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

> -- 
> Regards
> Yuxuan Shui

More information about the l4-hackers mailing list