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

Aaron LI aly at
Sat Jun 26 01:32:16 PDT 2021

commit 13fa90661f6ef454af577a9234404a667831f6bd
Author: Aaron LI <aly at>
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
    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(-)

DragonFly BSD source repository

More information about the Commits mailing list