Searched refs:p_set_timer (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),
193 (void) built_in(in_dict("set_timer", 2), p_set_timer, B_SAFE);
1195 p_set_timer(value vtimer, type ttimer, value vinterv, type tinterv) function
|
Completed in 43 milliseconds