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

/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/
H A Dwm.c1129 int timer2 = timeout; local

Completed in 78 milliseconds