Searched defs:ttimer (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
| H A D | bip_misc.c | 1082 p_start_timer(value vtimer, type ttimer, value vfirst, type tfirst, value vinterv, type tinterv) argument
1195 p_set_timer(value vtimer, type ttimer, value vinterv, type tinterv) argument
1201 p_get_timer(value vtimer, type ttimer, value vinterv, type tinterv) argument
1261 p_stop_timer(value vtimer, type ttimer, value vremain, type tremain, value vinterv, type tinterv) argument
[all...] |
Completed in 83 milliseconds