TEE_ALG_SHA512

optee_utee_sys

Constant TEE_ALG_SHA512 

Source 
pub const TEE_ALG_SHA512: u32 = 0x50000006;