Constant optee_utee_sys::TEE_ERROR_MAC_INVALID

pub const TEE_ERROR_MAC_INVALID: u32 = 0xFFFF3071;