Constant TEE_MODE_DIGEST 

pub const TEE_MODE_DIGEST: u32 = 0x00000005;