Searched refs:p_index_intersect (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/usr/skb/octopus/
H A Dpredicates.h23 int p_index_intersect(void);
H A Dpredicates.c159 int p_index_intersect(void) /* p_index_intersect(type, -[Attributes], -Current, +Next) */ function
161 OCT_DEBUG("p_index_intersect\n");
/barrelfish-2018-10-04/usr/skb/
H A Dskb_main.c115 ec_external(ec_did("index_intersect", 4), p_index_intersect, e);
/barrelfish-2018-10-04/usr/skb/programs/
H A Dobjects3.pl20 %:- external(index_intersect/4, p_index_intersect).

Completed in 37 milliseconds