pub const TEE_ALG_HMAC_SHA1: u32 = 805306370;