/barrelfish-master/include/vm/ |
H A D | vm_domain.c | 212 vm_domain_iterator_init(struct vm_domain_iterator *vi) argument 223 vm_domain_iterator_set(struct vm_domain_iterator *vi, argument 230 vi->policy = VM_POLICY_FIXED_DOMAIN; 231 vi->domain = domain; 232 vi->n = 1; 235 vi->policy = VM_POLICY_FIXED_DOMAIN_ROUND_ROBIN; 236 vi->domain = domain; 237 vi->n = vm_ndomains; 240 vi->policy = VM_POLICY_FIRST_TOUCH; 241 vi 267 _vm_domain_iterator_set_policy(struct vm_domain_iterator *vi, const struct vm_domain_policy *vt) argument 320 vm_domain_iterator_set_policy(struct vm_domain_iterator *vi, const struct vm_domain_policy *vt) argument 344 vm_domain_iterator_run(struct vm_domain_iterator *vi, int *domain) argument 392 vm_domain_iterator_isdone(struct vm_domain_iterator *vi) argument 399 vm_domain_iterator_cleanup(struct vm_domain_iterator *vi) argument [all...] |
H A D | vm_domain.h | 56 extern int vm_domain_iterator_init(struct vm_domain_iterator *vi); 57 extern int vm_domain_iterator_set(struct vm_domain_iterator *vi, 59 extern void vm_domain_iterator_set_policy(struct vm_domain_iterator *vi, 61 extern int vm_domain_iterator_run(struct vm_domain_iterator *vi, 63 extern int vm_domain_iterator_isdone(struct vm_domain_iterator *vi); 64 extern int vm_domain_iterator_cleanup(struct vm_domain_iterator *vi);
|
H A D | vm_phys.c | 300 vm_policy_iterator_init(struct vm_domain_iterator *vi) argument 306 vm_domain_iterator_init(vi); 313 vm_domain_iterator_set_policy(vi, &lcl); 321 vm_domain_iterator_set_policy(vi, &lcl); 326 vm_domain_iterator_set_policy(vi, &vm_default_policy); 330 vm_policy_iterator_finish(struct vm_domain_iterator *vi) argument 333 vm_domain_iterator_cleanup(vi); 769 struct vm_domain_iterator vi; local 776 vm_policy_iterator_init(&vi); 778 while ((vm_domain_iterator_run(&vi, 802 struct vm_domain_iterator vi; local 1312 struct vm_domain_iterator vi; local [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | ic.c | 831 get_var_info(pword *x, var_info *vi) argument 835 vi->var = x; 839 vi->attr = attr; 840 IC_Var_Info(vi->attr, vi->tb.b.l, vi->tb.b.u, ic_type, vi->bitmap); 841 vi->tb.i = Type_Is_Int(ic_type); 842 vi->prop_int = 0; 849 make_var_info(pword *x, var_info *vi) argument 860 get_var_info_from_attr(pword *x, pword *attr, var_info *vi) argument 881 set_type_integral(var_info *vi) argument 905 ic_lwb(var_info *vi, double bound) argument 1022 var_info vi; local 1040 ic_upb(var_info *vi, double bound) argument 1157 var_info vi; local 1177 var_info vi; local 1215 var_info vi; local 1278 set_integral(var_info *vi) argument 1308 var_info vi; local 1323 set_up_exclude_delayed_goal(var_info *vi, word exclude) argument 1364 ic_exclude(var_info *vi, word exclude) argument 1447 var_info vi; local 1459 set_up_exclude_range_delayed_goal(var_info *vi, word int_lwb, word int_upb) argument 1504 ic_exclude_range(var_info *vi, word int_lwb0, word int_upb0) argument 1593 var_info vi; local 1608 impose_coef_bounds(int op, int integer_strict, bounds *a, var_info *vi, bounds *c) argument 1660 solve_equal(bounds *a, var_info *vi, bounds *c, int *solved) argument 1719 solve_not_equal(bounds *a, var_info *vi, bounds *c, int *solved) argument 2310 var_info vi; local 2415 var_info vi; local 2562 var_info vi; local 2897 var_info vi; local 3197 sync_attr_with_new_bitmap(var_info *vi, void *bitmap, int result) argument 3592 var_info vi; local 3745 var_info vi; local 4188 var_info vi; local 4688 var_info vi; local 4737 var_info vi; local 5468 var_info vi; local [all...] |
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | bip_shelf.c | 246 p_shelf_set(value vhandle, type thandle, value vi, type ti, value vval, type tval, value vmod, type tmod) argument 254 return _heap_arr_set(obj, vi.nint, pw); 258 p_shelf_get(value vhandle, type thandle, value vi, type ti, value vval, type tval, value vmod, type tmod) argument 266 if (vi.nint < 0 || vi.nint > DidArity(obj->array[0].val.did)) 268 _heap_arr_get1(obj, vi.nint, &pw); 277 p_shelf_inc(value vhandle, type thandle, value vi, type ti, value vmod, type tmod) argument 283 if (vi.nint < 1 || vi.nint > DidArity(obj->array[0].val.did)) 285 pw = &obj->array[vi 296 p_shelf_dec(value vhandle, type thandle, value vi, type ti, value vmod, type tmod) argument [all...] |
H A D | bip_control.c | 74 p_failure_culprit(value vf, type tf, value vi, type ti), 85 p_get_fail_info(value vi, type ti, value vf, type tf), 87 p_make_tf(value vpush, type tpush, value vi, type ti, value vg, type tg, value vm, type tm, value vlm, type tlm, value vp, type tp, value vf, type tf), 860 p_failure_culprit(value vf, type tf, value vi, type ti) argument 866 Request_Unify_Integer(vi, ti, NINVOC-1); 985 p_get_fail_info(value vi, type ti, value vf, type tf) argument 991 if (vi.nint >= MAX_FAILTRACE) 995 pdid = FTRACE[vi.nint].proc->did; /* make a dummy goal */ 1024 mdid = PriModule(FTRACE[vi.nint].proc); 1025 if (mdid == D_UNKNOWN) mdid = FTRACE[vi 1055 p_make_tf(value vpush, type tpush, value vi, type ti, value vg, type tg, value vm, type tm, value vlm, type tlm, value vp, type tp, value vf, type tf) argument [all...] |
H A D | bip_arith.c | 332 p_between(value vmi, type tmi, value vma, type tma, value vs, type ts, value vi, type ti) argument 346 vi.nint >= vmi.nint 347 && vi.nint <= vma.nint 348 && (vi.nint - vmi.nint) % vs.nint == 0 352 vi.nint <= vmi.nint 353 && vi.nint >= vma.nint 354 && (vmi.nint - vi.nint) % -vs.nint == 0 377 Return_Unify_Integer(vi, ti, vmi.nint) 1283 p_setbit(value vi, type ti, value vn, type tn, value v, type t) /* argument order because of overflow handler */ argument 1297 Make_Integer(&result, vi 1321 p_clrbit(value vi, type ti, value vn, type tn, value v, type t) argument 1359 p_getbit(value vi, type ti, value vn, type tn, value v, type t) argument 1425 p_integer_list(value vi, type ti, value vsz, type tsz, value v, type t) argument [all...] |
H A D | bip_module.c | 61 p_tool1(value vi, type ti, value vm, type tm), 62 p_tool2(value vi, type ti, value vb, type tb, value vm, type tm), 63 p_tool_body(value vi, type ti, value vb, type tb, value vmb, type tmb, value vm, type tm), 186 p_tool_body(value vi, type ti, value vb, type tb, value vmb, type tmb, value vm, type tm) argument 199 Get_Proc_Did(vi, ti, di); 611 p_tool1(value vi, type ti, value vm, type tm) argument 619 Get_Proc_Did(vi, ti, di); 654 p_tool2(value vi, type ti, value vb, type tb, value vm, type tm) argument 663 Get_Proc_Did(vi, ti, di);
|
H A D | bip_strings.c | 74 p_get_string_code(value vs, type ts, value vi, type ti, value vc, type tc), 75 p_string_code(value vs, type ts, value vi, type ti, value vc, type tc, value vfi, type tfi), 1284 p_get_string_code(value vi, type ti, value vs, type ts, value vc, type tc) argument 1286 word i = vi.nint; 1317 p_string_code(value vi, type ti, value vs, type ts, value vc, type tc, value vfi, type tfi) argument 1321 word i = vi.nint; 1357 Request_Unify_Integer(vi, ti, i); 1394 Return_Unify_Integer(vi, ti, i); 1407 if (i < 0 || StringLength(vi) <= i) { Bip_Error(RANGE_ERROR); } 1408 Return_Unify_Integer(vc, tc, ((unsigned char *)StringStart(vi))[ [all...] |
H A D | operator.c | 82 p_op_(value vi, type ti, value vprec, type tprec, value vassoc, type tassoc, value v_op, type t_op, value vm, type tm), 380 p_op_(value vi, type ti, value vprec, type tprec, value vassoc, type tassoc, value v_op, type t_op, value vm, type tm) argument 383 int scope = (vi.did == d_.local0 ? LOCAL_PROP : GLOBAL_PROP); 385 /* vi is supplied by the system so no need to test it. */
|
H A D | bip_array.c | 106 p_xget(value vhandle, type thandle, value vi, type ti, value vval, type tval), 107 p_xset(value vhandle, type thandle, value vi, type ti, value vval, type tval), 1047 p_xset(value vhandle, type thandle, value vi, type ti, value vval, type tval) 1059 return ExternalClass(vhandle.ptr)->set(ExternalData(vhandle.ptr), vi.nint, pw); 1063 p_xget(value vhandle, type thandle, value vi, type ti, value vval, type tval) 1075 pw = ExternalClass(vhandle.ptr)->get(ExternalData(vhandle.ptr), vi.nint); 1046 p_xset(value vhandle, type thandle, value vi, type ti, value vval, type tval) argument 1062 p_xget(value vhandle, type thandle, value vi, type ti, value vval, type tval) argument
|
H A D | bip_domain.c | 111 p_index_values(value vi, type ti, value vt, type tt, value vv, type tv, value vsi, type tsi, value vsv, type tsv, value vres, type tres, value vnewi, type tnewi, value vnewv, type tnewv, value vs, type ts, value vnsv, type tnsv), 117 p_dom_intersection(value vd1, type td1, value vd2, type td2, value vi, type ti, value vs, type ts), 118 p_dom_difference(value vd1, type td1, value vd2, type td2, value vi, type ti, value vs, type ts), 1285 p_index_values(value vi, type ti, value vt, type tt, value vv, type tv, value vsi, type tsi, value vsv, type tsv, value vres, type tres, value vnewi, type tnewi, value vnewv, type tnewv, value vs, type ts, value vnsv, type tnsv) argument 1313 Bind_Var(vnewi, tnewi, vi.nint, TINT) 1314 p = &vt.ptr[vi.nint]; 1320 Var_Domain(vi.ptr, p); 1593 p_dom_intersection(value vd1, type td1, value vd2, type td2, value vi, type ti, value vs, type ts) argument 1625 Request_Unify_Structure(vi, ti, p); 2225 p_dom_difference(value vd1, type td1, value vd2, type td2, value vi, typ argument [all...] |
H A D | bip_io.c | 316 p_get_stream(value vi, type ti, value vs, type ts), 320 p_stream_info_(value vs, type ts, value vi, type ti, value v, type t), 321 p_set_stream_prop_(value vs, type ts, value vi, type ti, value v, type t); 712 p_get_stream(value vi, type ti, value vs, type ts) argument 718 nst = get_stream_id(vi, ti, 0, &res); 731 hstream.val.all = vi.all; /* reuse old anchor */ 1516 p_stream_info_(value vs, type ts, value vi, type ti, value v, type t) argument 1527 switch(vi.nint) 1848 p_set_stream_prop_(value vs, type ts, value vi, type ti, value v, type t) argument 1860 switch(vi [all...] |
H A D | bip_tconv.c | 73 p_canonical_copy(value v, type t, value vi, type ti), 1166 p_canonical_copy(value v, type t, value vi, type ti) argument 1172 Return_Unify_Pw(vi, ti, pw.val, pw.tag);
|
H A D | bip_delay.c | 97 p_meta_index(value vname, type tname, value vi, type ti), 98 p_set_suspension_arg(value vs, type ts, value vi, type tn, value v, type t), 2249 p_meta_index(value vname, type tname, value vi, type ti) argument 2253 dident name = meta_name(vi.nint); 2261 Return_Unify_Integer(vi, ti, i);
|
/barrelfish-master/usr/eclipseclp/Eplex/ |
H A D | eplex.c | 1484 p_cpx_get_rhs(value vlp, type tlp, value vpool, type tpool, value vi, type ti, argument 1499 if (CPXgetrhs(cpx_env, lpd->lp, rhs, (int) vi.nint, (int) vi.nint)) 1501 if (CPXgetsense(cpx_env, lpd->lp, sen, (int) vi.nint, (int) vi.nint)) 1506 sen[0] = lpd->cp_senx[vi.nint]; 1507 rhs[0] = lpd->cp_rhsx[vi.nint]; 1511 sen[0] = lpd->cp_senx2[vi.nint]; 1512 rhs[0] = lpd->cp_rhsx2[vi.nint]; 1528 p_cpx_set_rhs_coeff(value vlp, type tlp, value vi, typ argument 1577 p_cpx_set_qobj_coeff(value vlp, type tlp, value vi, type ti, value vj, type tj, value vval, type tval) argument 3805 p_cpx_new_qobj_coeff(value vlp, type tlp, value vi, type ti, value vj, type tj, value vcoeff, type tcoeff) argument 3882 p_cpx_set_matval(value vlp, type tlp, value vk, type tk, value vi, type ti, value vval, type tval) argument 5277 p_cpx_get_row(value vlp, type tlp, value vpool, type tpool, value vi, type ti, value vbase, type tbase) argument 5404 p_create_darray(value vi, type ti, value varr, type tarr) argument 5437 p_darray_size(value varr, type tarr, value vi, type ti) argument 5444 p_get_darray_element(value varr, type tarr, value vi, type ti, value vel, type tel) argument 5457 p_set_darray_element(value varr, type tarr, value vi, type ti, value vel, type tel) argument 5740 p_create_extended_iarray(value varr, type tarr, value vi, type ti, value vxarr, type txarr) argument 5751 p_create_extended_darray(value varr, type tarr, value vi, type ti, value vxarr, type txarr) argument 5891 p_create_iarray(value vi, type ti, value varr, type tarr) argument 5900 p_iarray_size(value varr, type tarr, value vi, type ti) argument 5907 p_get_iarray_element(value varr, type tarr, value vi, type ti, value vel, type tel) argument 5919 p_set_iarray_element(value varr, type tarr, value vi, type ti, value vel, type tel) argument [all...] |
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | ptags.pl | 56 editors ex and vi, similar to ctags(1). The library is loaded using 73 a tags file for vi or ex. A procedures specified as Name/Arity
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | tkdebug.tex | 494 some external editor, such as emacs, vi, or wordpad to edit the program.
|