Constant TEE_MODE_VERIFY 

pub const TEE_MODE_VERIFY: u32 = 0x00000003;