/barrelfish-2018-10-04/usr/drivers/solarflair/sfxge/common/ |
H A D | efx_impl.h | 439 char min = name[4]; \ 457 EFSYS_ASSERT3S(rev, >=, min); \
|
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mlx4/ |
H A D | qp.c | 387 > min(dev->dev->caps.max_sq_sg, dev->dev->caps.max_rq_sg)) 411 cap->max_recv_wr = qp->rq.max_post = min( 413 cap->max_recv_sge = min(qp->rq.max_gs, 414 min(dev->dev->caps.max_sq_sg, dev->dev->caps.max_rq_sg)); 427 > min(dev->dev->caps.max_sq_sg, dev->dev->caps.max_rq_sg) 507 qp->sq.max_gs = (min(dev->dev->caps.max_sq_desc_sz, 524 cap->max_send_sge = min(qp->sq.max_gs, 525 min(dev->dev->caps.max_sq_sg, dev->dev->caps.max_rq_sg));
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ |
H A D | ic_probe.pl | 137 eplex:lp_demon_setup(min(Cost), 178 [V->ic:min,V->ic:max], OwnSusp)
|
H A D | probe.pl | 136 eplex:lp_demon_setup(min(Cost), 176 [V->fd:min,V->fd:max], OwnSusp)
|
H A D | vbs_router.pl | 191 %%% insert_suspension(Var,S, min of fd,fd)
|
H A D | frequency.pl | 107 suspend(frequency_aux(Vars,Occs,Vals,ValuesDom,S),4,[S->min,Var->any])
|
/barrelfish-2018-10-04/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/ |
H A D | RectQuadTree.java | 77 int smallestDim = Math.min(bounds.width, bounds.height);
|
/barrelfish-2018-10-04/include/vm/ |
H A D | memguard.c | 445 bcopy(addr, newaddr, min(size, old_size));
|
H A D | vm_map.h | 339 #define VM_FAULT_READ_AHEAD_MAX min(atop(MAXPHYS) - 1, UINT8_MAX)
|
H A D | vnode_pager.c | 867 rbehind = min(rbehind, before); 868 rbehind = min(rbehind, m[0]->pindex); 869 rahead = min(rahead, after); 870 rahead = min(rahead, object->size - m[count - 1]->pindex);
|
H A D | vm_map.c | 131 static void _vm_map_init(vm_map_t map, pmap_t pmap, vm_offset_t min, 274 vmspace_alloc(vm_offset_t min, vm_offset_t max, pmap_pinit_t pinit) argument 290 _vm_map_init(&vm->vm_map, vmspace_pmap(vm), min, max); 773 vm_map_create(pmap_t pmap, vm_offset_t min, vm_offset_t max) argument 779 _vm_map_init(result, pmap, min, max); 788 _vm_map_init(vm_map_t map, pmap_t pmap, vm_offset_t min, vm_offset_t max) argument 795 map->min_offset = min; 804 vm_map_init(vm_map_t map, pmap_t pmap, vm_offset_t min, vm_offset_t max) argument 807 _vm_map_init(map, pmap, min, max); 1387 * Request must fit within min/ma [all...] |
/barrelfish-2018-10-04/include/lwip2/lwip/apps/ |
H A D | snmp_core.h | 259 u32_t min; member in struct:snmp_oid_range
|
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/net/mlx4/ |
H A D | alloc.c | 154 bitmap->last = min(bitmap->last, obj);
|
H A D | en_netdev.c | 1608 priv->if_mtu = min(ETHERMTU, priv->max_mtu);
|
/barrelfish-2018-10-04/usr/monitor/ |
H A D | inter.c | 44 coreid_t min = MIN(id, i); local 48 if (err_is_ok(err) && !notification_sent[min*MAX_COREID+max] && monitor_ready[i]) { 52 notification_sent[min*MAX_COREID+max] = true;
|
/barrelfish-2018-10-04/usr/skb/programs/ |
H A D | globalthreadalloc.pl | 109 eclipse_language:min(AfL, RL), 280 % explicit min and max nr threads per task 421 min(EffektivNumber, MaxNr, DefNr),
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | elipsys_fd.c | 223 Int max,min; local 225 (void) dom_range(p,&min,&max); 232 Int max,min; local 234 (void) dom_range(p,&min,&max); 235 return min;
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | eplex.tex | 150 \min (10A1 + 7A2 + 200A3 + 8B1 + 5B2 + 10B3 + 5C1 + 5C2 + 8C3 + 9D1 + 3D2 + 7D3) 241 prob: eplex_solver_setup(min( 284 function given as the argument, enclosed by either \verb'min(...)' or \verb'max(...)'. In this case, we are minimising. 398 prob: eplex_solver_setup(min( 499 prob: eplex_solver_setup(min(....)), % as before 532 mip: eplex_solver_setup(min(Obj)), 649 mip: eplex_solver_setup(min(ObjFunc), Cost, [], [deviating_bounds]),
|
H A D | colgen.tex | 163 cut_stock:eplex_solver_setup(min(sum(Obj))), 200 COut is min(Li-1, CIn),
|
H A D | constimpl.tex | 543 \item[X->ic:min] wake when the lower bound of an ic-variable changes 568 suspend(ge(X,Y), 0, [X->ic:max, Y->ic:min]) 578 that the library implements trigger conditions called {\bf min} 620 suspend(ge(X,Y,MySusp), 0, [X->ic:max, Y->ic:min], MySusp),
|
H A D | prolog.tex | 961 min(X,Y, Min) :- X <Y, Min = X. 962 min(X,Y, Min) :- Y=<X, Min = Y. 965 non-optimal for two reasons. Consider the goal {\tt :- min(2,3,M)}. 971 second clause for {\tt min}. So there is a double drawback: 977 For example {\tt min} is typically encoded as follows: 979 min(X,Y, Min) :- X<Y, !, Min = X. 980 min(X,Y, Y).
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | profile.pl | 274 Min is min(Key,MinKey),
|
H A D | kernel.pl | 2767 eval(min(X,Y), R, M) :- !, eval(X,X1,M), eval(Y,Y1,M), min(X1, Y1, R). 2790 eval(min(X), R, M) :- !, min_body(X, R, M). 2863 % min(+List, ?Min) 2866 % This is compatible with all arithmetic operations. It means that min/max 2874 error(4, min(X,R), M). 2878 ; var(Elems) -> error(4, min(Elems,R), M) 2885 error(5, min(X, R), M). 2888 error(4, min(Xs,R), M). 2892 min(R [all...] |
/barrelfish-2018-10-04/lib/tzcode/stdtime/ |
H A D | localtime.c | 179 static const char * getnum(const char * strp, int * nump, int min, 730 getnum(strp, nump, min, max) 733 const int min; 748 if (num < min)
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | extfd.tex | 923 ${\bf fd\{domain:D, min:Mi, max:Ma, any:A\}}$ 934 \item {\bf min} - a suspension list that should be woken when the minimum 1153 Thus e.g.\ the {\bf min} list is woken if and only if the minimum 1292 suspend(sq(A, B, C), 3, (A, B)->min) 1844 suspend(capacity(Color, Capacity), 3, [Color->inst, Capacity->min]) 1922 suspend(contained_in(Col, Comp, In), 2, [Comp->min, Col->inst]) 1945 suspend(not_contained_in(Col, Comp, In), 2, [Comp->min, Col->any]) 1987 suspend(requires(A, B), 2, [A->min, B->inst]) 2031 suspend(exclusive(A, B), 3, (A,B)->min) 2067 suspend(at_most(N, In, Col, Comp), 2, [In->inst, Comp->min]) [all...] |