Constant TEE_ALG_HMAC_SHA512 

pub const TEE_ALG_HMAC_SHA512: u32 = 805306374;