git: x86_64/pmap.h: Adjust Intel EPT defines

[Aaron LI]

commit 13fa90661f6ef454af577a9234404a667831f6bd
Author: Aaron LI <aly at aaronly.me>
Date:   Sat Jun 26 12:42:52 2021 +0800

    x86_64/pmap.h: Adjust Intel EPT defines
    
    According to Intel SDM (Section 28.2.2: EPT Translation Mechanism), bit
    10 indicates the execute access for user-mode linear addresses when the
    "mode-based execute control for EPT" VM-execution control is enabled,
    otherwise, it's ignored.
    
    So to be future-proof, don't define bit 10 as EPT_PG_AVAIL1, which is
    use as the "wired" bit.  Instead, use the ignored bit 11 for this
    purpose.
    
    In addition, use ignored bits 59:52 for other EPT_PG_AVAIL* bits.

Summary of changes:
 sys/cpu/x86_64/include/pmap.h | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

http://gitweb.dragonflybsd.org/dragonfly.git/commitdiff/13fa90661f6ef454af577a9234404a667831f6bd


-- 
DragonFly BSD source repository