Constant sgx_types::cpu_feature::CPU_FEATURE_IBT

pub const CPU_FEATURE_IBT: uint64_t = 0x8000000000000;