Searched refs:ttimer (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | bip_misc.c | 130 p_set_timer(value vtimer, type ttimer, value vinterv, type tinterv),
131 p_get_timer(value vtimer, type ttimer, value vinterv, type tinterv),
132 p_start_timer(value vtimer, type ttimer, value vfirst, type tfirst, value vinterv, type tinterv),
133 p_stop_timer(value vtimer, type ttimer, value vremain, type tremain, value vinterv, type tinterv),
1082 p_start_timer(value vtimer, type ttimer, value vfirst, type tfirst, value vinterv, type tinterv) argument
1086 Check_Atom(ttimer)
1195 p_set_timer(value vtimer, type ttimer, value vinterv, type tinterv) argument
1197 return p_start_timer(vtimer, ttimer, vinterv, tinterv, vinterv, tinterv);
1201 p_get_timer(value vtimer, type ttimer, value vinterv, type tinterv) argument
1205 Check_Atom(ttimer)
1261 p_stop_timer(value vtimer, type ttimer, value vremain, type tremain, value vinterv, type tinterv) argument
[all...] |
Completed in 29 milliseconds