Constant TEE_OPERATION_MAC 

pub const TEE_OPERATION_MAC: u32 = 3;