Constant TEE_ATTR_HKDF_INFO 

pub const TEE_ATTR_HKDF_INFO: u32 = 3489663558;