Constant TEE_ATTR_DH_X_BITS 

pub const TEE_ATTR_DH_X_BITS: u32 = 0xF0001332;