Constant sgx_types::cpu_feature::CPU_FEATURE_VAES

pub const CPU_FEATURE_VAES: uint64_t = 0x400000000000;