Searched refs:VMX_EPT_EXECUTABLE_MASK (Results 1 – 3 of 3) sorted by relevance
434 #define VMX_EPT_EXECUTABLE_MASK 0x4ull macro
189 ((gpte & VMX_EPT_EXECUTABLE_MASK) ? ACC_EXEC_MASK : 0) | in FNAME()
6280 0ull, VMX_EPT_EXECUTABLE_MASK); in hardware_setup()