Constant tee_internal::binding::TEE_ALG_SHA3_512

pub const TEE_ALG_SHA3_512: u32 = 1342177291;