pub const CPU_BASED2_EPT_VE: u64 = 1 << 18; // 262_144u64