Searched refs:tfrec (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Flexlm/ |
| H A D | bip_pt.c | 284 p_licence_heartbeat(value vfeature, type tfeature, value vminutes, type tminutes, value vrec, type trec, value vfrec, type tfrec) argument
306 Request_Unify_Integer(vfrec, tfrec, frec_total);
|
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | bip_load.c | 1039 p_licence_heartbeat(value vfeature, type tfeature, value vminutes, type tminutes, value vrec, type trec, value vfrec, type tfrec) argument
|
Completed in 37 milliseconds