Constant optee_utee_sys::TEE_MODE_MAC

pub const TEE_MODE_MAC: u32 = 0x00000004;