Constant optee_utee_sys::TEE_ERROR_TIME_NEEDS_RESET

pub const TEE_ERROR_TIME_NEEDS_RESET: u32 = 0xFFFF5001;