EPT_PTE_EXECUTABLE
page |= EPT_PTE_EXECUTABLE;
| ((entry & EPT_PTE_EXECUTABLE) != 0 ? B_EXECUTE_AREA : 0)