Searched defs:seconds (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DMultithreading.sml25 val seconds = Time.fromReal value
/seL4-l4v-10.1.1/HOL4/polyml/PolyPerf/
H A DPolyPerf.cpp290 UINT32 seconds = 0, useconds = 0; local

Completed in 43 milliseconds