Constant TEE_ALG_DSA_SHA3_384 

pub const TEE_ALG_DSA_SHA3_384: u32 = 1879089457;