Searched refs:OsTickSysTimerStartTimeSet (Results 1 – 3 of 3) sorted by relevance
266 VOID OsTickSysTimerStartTimeSet(UINT64 currTime);
279 LITE_OS_SEC_TEXT_MINOR VOID OsTickSysTimerStartTimeSet(UINT64 currTime) in OsTickSysTimerStartTimeSet() function
507 OsTickSysTimerStartTimeSet(newTask->startTime); in OsSchedStart()