Re: High 32 bits of SFMASK is reserved

Adam Lackorzynski <[email protected]> Wed, 19 Sep 2018 03:23:27 +0200

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<[email protected]>

Hi,

On Tue Sep 18, 2018 at 22:45:41 +0100, Yuxuan Shui wrote:
> 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.

Thanks a lot, will be fixed.


Adam