pub const TEE_ALG_HMAC_SHA256: u32 = 805306372;