Searched refs:t_port (Results 1 - 1 of 1) 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
229 Check_Integer(t_port);
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
256 Check_Output_Integer(t_port);
262 Return_Unify_Integer(v_port,t_port,port.aport_id);
|
Completed in 31 milliseconds