pub const VMX_EPT_VPID_SUPPORT_EXONLY: u64 = 1 << 0; // 1u64