Constant TEE_TIMEOUT_INFINITE 

pub const TEE_TIMEOUT_INFINITE: u32 = 0xFFFFFFFF;