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

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dsch_eng_interface.h45 void sch_get_info (aport_id_t, int *, void_ptr *);
56 void sch_get_info ();
H A Dsch_util.c562 void sch_get_info(site,infosize,infoval) function
H A Dworker.c1997 sch_get_info(aports[SCH_APORT_NUMBER], infosize, infoval);

Completed in 39 milliseconds