Searched refs:v_portid (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | bip_mps.c | 502 p_mps_port_allocate_3(value v_notifier, type t_notifier, value v_portid, type t_portid, value vmod, type tmod) argument
534 Return_Unify_Integer(v_portid,t_portid,portid);
539 p_mps_port_deallocate_1(value v_portid, type t_portid) argument
546 AmsgReturn(aport_deallocate((aport_id_t) (v_portid.nint)));
556 p_mps_str_send_2(value v_portid, type t_portid, value v_str, type t_str) argument
581 portid = v_portid.nint;
607 p_mps_str_receive_2(value v_portid, type t_portid, value v_str, type t_str) argument
623 aret = amsg_receive((aport_id_t) (v_portid.nint),&msg,&msg_data,&msg_type,&msg_count,0);
|
Completed in 29 milliseconds