Constant TEE_ATTR_HKDF_SALT 

pub const TEE_ATTR_HKDF_SALT: u32 = 3489663302;