Constant sgx_types::cpu_features::CPU_FEATURE_IBT

pub const CPU_FEATURE_IBT: u64 = 0x8000000000000;