Constant optee_utee_sys::TEE_ERROR_TIME_NOT_SET

pub const TEE_ERROR_TIME_NOT_SET: u32 = 0xFFFF5000;