Symbol: EPT_PTE_WRITABLE
src/system/kernel/arch/x86/paging/nested/X86PagingMethodEPT.cpp
209
page |= EPT_PTE_WRITABLE;
src/system/kernel/arch/x86/paging/nested/X86VMTranslationMapEPT.cpp
412
*_flags |= ((entry & EPT_PTE_WRITABLE) != 0 ? B_WRITE_AREA : 0)