Constant optee_utee_sys::TEE_MODE_VERIFY

pub const TEE_MODE_VERIFY: u32 = 0x00000003;