Searched defs:secs (Results 1 - 2 of 2) sorted by last modified time

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp615 unsigned long secs = get_C_ulong(taskData, div_longc(taskData, hMillion, hTime)->Word()); local
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DDate.sml161 val secs = LargeInt.toInt(tsecs mod 60) value
188 val secs = value
205 val secs = Time.toSeconds t value
228 val secs value
[all...]

Completed in 44 milliseconds