[][src]Constant sgx_types::cpu_feature::CPU_FEATURE_WBNOINVD

pub const CPU_FEATURE_WBNOINVD: uint64_t = 0x40000000000000;