TEE_MODE_MAC

optee_utee_sys

Constant TEE_MODE_MAC 

Source 
pub const TEE_MODE_MAC: u32 = 0x00000004;