Constant TEE_ERROR_MAC_INVALID 

pub const TEE_ERROR_MAC_INVALID: u32 = 0xFFFF3071;