Constant TEE_ALG_DSA_SHA3_512

pub const TEE_ALG_DSA_SHA3_512: u32 = 1879093553;