Constant TEE_TYPE_HMAC_SHA512

pub const TEE_TYPE_HMAC_SHA512: u32 = 2684354566;