On 24/03/17 08:50, Juergen Gross wrote:
> When using _PAGE_PSE_PAT as base for a negated bit mask make sure it is
> propagated to 64 bits when applied to a 64 bit value.
>
> There seems to be only one place where this is a problem, so fix this
> by casting _PAGE_PSE_PAT to 64 bits there.
>
> Not
>>> On 24.03.17 at 09:50, wrote:
> When using _PAGE_PSE_PAT as base for a negated bit mask make sure it is
> propagated to 64 bits when applied to a 64 bit value.
>
> There seems to be only one place where this is a problem, so fix this
> by casting _PAGE_PSE_PAT to 64 bits there.
>
> Not doing
