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

/barrelfish-master/usr/skb/
H A Dshared_lib_dict.h94 extern void get_bitmap_upb();
216 {.name="get_bitmap_upb",.f=get_bitmap_upb},
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dbitmap.h117 extern word get_bitmap_upb(uword *bitmap, word *max_ptr);
H A Dbitmap.c1741 ** get_bitmap_upb(+Bitmap, -Max)
1752 if (get_bitmap_upb(vbm.wptr, &max) != 0) {
1762 get_bitmap_upb(uword *bitmap, word *max_ptr) function

Completed in 168 milliseconds