Searched refs:vi (Results 1 - 18 of 18) sorted by relevance

/barrelfish-master/include/vm/
H A Dvm_domain.c212 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 Dvm_domain.h56 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 Dvm_phys.c300 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 Dic.c831 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 Dbip_shelf.c246 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 Dbip_control.c74 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 Dbip_arith.c332 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 Dbip_module.c61 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 Dbip_strings.c74 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 Doperator.c82 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 Dbip_array.c106 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 Dbip_domain.c111 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 Dbip_io.c316 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 Dbip_tconv.c73 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 Dbip_delay.c97 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 Deplex.c1484 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 Dptags.pl56 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 Dtkdebug.tex494 some external editor, such as emacs, vi, or wordpad to edit the program.

Completed in 108 milliseconds