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