Searched refs:p_wm_get_ids (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/
H A Ddummy_par.c102 p_wm_get_ids() function
H A Dbip_misc.c101 extern int p_wm_get_ids();
201 (void) local_built_in(in_dict("wm_get_ids", 2), p_wm_get_ids, B_UNSAFE|U_GROUND);
H A Dworker.c1797 p_wm_get_ids(vhostname,thostname,vstatus, tstatus) function

Completed in 41 milliseconds