src/system/kernel/arch/x86/paging/nested/X86VMTranslationMapEPT.cpp

298

(oldEntry & EPT_PTE_DIRTY) != 0, updatePageQueue);

src/system/kernel/arch/x86/paging/nested/X86VMTranslationMapEPT.cpp

303

if ((oldEntry & EPT_PTE_DIRTY) != 0)

src/system/kernel/arch/x86/paging/nested/X86VMTranslationMapEPT.cpp

362

(oldEntry & EPT_PTE_DIRTY) != 0,

src/system/kernel/arch/x86/paging/nested/X86VMTranslationMapEPT.cpp

415

| ((entry & EPT_PTE_DIRTY) != 0 ? PAGE_MODIFIED : 0)

src/system/kernel/arch/x86/paging/nested/X86VMTranslationMapEPT.cpp

460

uint64 flagsToClear = ((flags & PAGE_MODIFIED) ? EPT_PTE_DIRTY : 0)

src/system/kernel/arch/x86/paging/nested/X86VMTranslationMapEPT.cpp

504

EPT_PTE_ACCESSED | EPT_PTE_DIRTY);

src/system/kernel/arch/x86/paging/nested/X86VMTranslationMapEPT.cpp

518

EPT_PTE_ACCESSED | EPT_PTE_DIRTY);

src/system/kernel/arch/x86/paging/nested/X86VMTranslationMapEPT.cpp

523

_modified = (oldEntry & EPT_PTE_DIRTY) != 0;