Constant TEE_TYPE_HMAC_SHA3_512 

pub const TEE_TYPE_HMAC_SHA3_512: u32 = 2684354571;