Constant TEE_ALG_SHA1 

pub const TEE_ALG_SHA1: u32 = 0x50000002;