Constant TEE_ALG_HMAC_SHA3_256 

pub const TEE_ALG_HMAC_SHA3_256: u32 = 805306377;