Searched refs:t_name (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | bip_mps.c | 215 p_mps_port_register_4(value v_key, type t_key, value v_name, type t_name, value v_signature, type t_signature, value v_port, type t_port) argument
227 Get_Name(v_name, t_name, name);
244 p_mps_port_lookup_3(value v_key, type t_key, value v_name, type t_name, value v_port, type t_port) argument
255 Get_Name(v_name, t_name, name);
273 p_mps_port_deregister_3(value v_key, type t_key, value v_name, type t_name, value v_signature, type t_signature) argument
285 Get_Name(v_name, t_name, name);
|
| /barrelfish-master/usr/tests/timer/ |
| H A D | timer.c | 110 char *t_name, long interval, long limit)
113 ptr->timer_name = t_name;
109 setup_and_start_timer(struct client_data *ptr, char *c_name, char *t_name, long interval, long limit) argument
|
Completed in 87 milliseconds