Constant TEE_TYPE_HMAC_SHA1 

pub const TEE_TYPE_HMAC_SHA1: u32 = 2684354562;