Searched refs:milliseconds (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dlocking.cpp195 // Wait for a number of milliseconds. Used within the RTS. Drops the lock and reaquires it.
198 bool PCondVar::WaitFor(PLock *pLock, unsigned milliseconds) argument
205 waitTime.tv_sec = tv.tv_sec + milliseconds / 1000;
206 waitTime.tv_nsec = (tv.tv_usec + (milliseconds % 1000) * 1000) * 1000;
215 return SleepConditionVariableCS(&cond, &pLock->lock, milliseconds) != 0;
H A Dlocking.h95 bool WaitFor(PLock *pLock, unsigned milliseconds);
/seL4-l4v-master/HOL4/polyml/basis/
H A DTime.sml62 values for milliseconds and seconds. *)
/seL4-l4v-master/seL4/manual/parts/
H A Dbootup.tex18 with \texttt{CONFIG\_BOOT\_THREAD\_TIME\_SLICE} milliseconds timeslice.
/seL4-l4v-master/isabelle/src/Doc/Tutorial/document/
H A Drules.tex1629 the \isa{blast} method proves it in milliseconds.
/seL4-l4v-master/l4v/isabelle/src/Doc/Tutorial/document/
H A Drules.tex1629 the \isa{blast} method proves it in milliseconds.

Completed in 131 milliseconds