/barrelfish-master/lib/devif/backends/net/mlx4/include/linux/ |
H A D | pci.h | 133 int (*suspend)(struct pci_dev *dev, pm_message_t state); /*Device suspended*/ member in struct:pci_driver
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | t.pl | 54 suspend(writeln(hello), 2, X->inst), 65 t9(X) :- X :: 1..10, suspend(writeln(hello), 2, X->inst), X #= 2. 100 t22 :- X::1..10, suspend(writeln(hello), 3, X->ilog_range), X #< 5. 102 t23 :- [X,Y]::1..10, suspend(writeln(hello), 3, X->ilog_range), X #< Y. 110 suspend(writeln(hello), 3, X->ilog_range),
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | notinstance.pl | 88 insert_suspension(First, Susp, bound of suspend, suspend) 164 insert_suspension(Lhs, Susp, constrained of suspend, suspend) 166 insert_suspension(First, Susp, bound of suspend, suspend) 181 insert_suspension(First, Susp, bound of suspend, suspend)
|
H A D | suspend.pl | 26 % Version: $Id: suspend.pl,v 1.4 2010/04/04 08:13:37 jschimpf Exp $ 32 % IDENTIFICATION: suspend.pl 45 % simply replace 'suspend' in the predicate names by 49 :- module(suspend, [], sepia_kernel). 52 %:- export struct(suspend(inst, constrained, bound)). 56 "Lazy-checking versions of arithmetic primitives, and the suspend-attribute"). 63 <LI>the <B>suspend</B> pseudo-solver for general arithmetic 64 <LI>the <B>suspend</B> attribute 66 The suspend pseudo-solver for arithmetic comparisons simply consists 68 (>/2, #>/2, etc). These all suspend unti [all...] |
H A D | elipsys_fd.pl | 118 insert_suspension(Flags, Susp, inst of suspend, suspend). 169 insert_suspension(F, Susp, inst of suspend, suspend) 211 insert_suspension(ArrayItems-MaxSequences-Occurences-Contigs, Susp, bound of suspend, suspend), 242 insert_suspension(ArrayItems-MaxSequences-Occurences, Susp, bound of suspend, suspend), 286 insert_suspension(Flag, Susp, inst of suspend, suspend), [all...] |
H A D | fd_elipsys.pl | 107 insert_suspension(Flags, Susp, inst of suspend, suspend). 160 insert_suspension(F, Susp, inst of suspend, suspend) 234 insert_suspension(ArrayItems-MaxSequences-Occurences-Contigs, Susp, bound of suspend, suspend), 265 insert_suspension(ArrayItems-MaxSequences-Occurences, Susp, bound of suspend, suspend), 295 insert_suspension(Flag, Susp, inst of suspend, suspend), [all...] |
H A D | fd_arith.pl | 133 % not skipped because might suspend & wake 923 insert_suspension([A|B], Susp, inst of suspend, suspend). 1246 insert_suspension(Var, Susp, constrained of suspend, suspend). 1267 insert_suspension([Var1|Var2], Susp, inst of suspend, suspend). 1319 insert_suspension(A, Susp, constrained of suspend, suspend). 1329 insert_suspension([A|B], Susp, bound of suspend, suspen [all...] |
H A D | sicstus.pl | 153 ( var(Var) -> suspend(Goal, 2, (Var->suspend:1)) ; Goal )). 158 suspend_body(Goal, 2, (X->suspend:1), Module). 182 % p(A,B) :- var(A), !, make_suspension(p(A,B),0,S), insert_suspension([A],S,1,suspend). 224 BC = (!, make_suspension(Head,0,S), insert_suspension(Vars, S, 1, suspend)). 242 suspend(when_body(Condition, Goal, Module), 2, (Vars->inst)).
|
H A D | meta.pl | 102 ( Name == suspend, Index == 1 -> 103 % The suspend handlers are handcoded below to avoid use of the 232 erase_module_attribute_handlers(suspend) :- !. 370 suspend:unify_suspend(Term , SuspAttr). label 560 suspend:suspensions_suspend(Meta, ListOfSuspLists, []), label 595 suspend:suspensions_suspend(Meta, S, S0). label 616 suspend:delayed_goals_number_suspend(Meta, NG). label
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | exthsusp.tex | 36 The core feature is the ability to suspend the execution of a goal 50 % The suspend predicate 140 As a rule of thumb, goals will not suspend when all their arguments are 154 Instead of succeeding or failing, they will suspend when their arguments 173 suspend again. In the following example, the disequality predicate initially 188 all arguments are ground) can be found in the \libspec{suspend} library 189 \bipref{lib(suspend)}{../bips/lib/suspend/index.html}. 199 The solver will suspend these predicates until all their arguments 204 The suspend librar [all...] |
H A D | extsuspend.tex | 28 \index{suspend} 47 suspend(Goal, 3, Term->inst). 56 insert_suspension(Term, Susp, inst of suspend, suspend). 107 suspend(Goal, 3, Term->inst). 152 suspend(wait_for_var([X|L], Goal), 3, X->inst) 204 suspend(dif(T1, T2), 3, V->inst) 206 suspend(dif(T1, T2), 3, Vars->bound) 209 fail % nothing to suspend on, they are identical 296 The reason for this handling is that the system cannot suspend [all...] |
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | set.pl | 462 suspend(car_s(Set,Card), 2, Set->del_any) 487 suspend(car_s(Set,Card), 2, [Set->del_any, Card->any]). 499 suspend(car_s(Set,Card), 2, Set->del_any) 637 suspend(weight_s(S, W), 2, [S->del_any, W->any, C -> inst]). 652 suspend(weight_s(S, W), 2, [S->del_any, W->any]) 700 ( var(S),var(S1) -> suspend(S sub_s S1, 2, [S,S1]->del_any) ; true ), 709 suspend(X in_s S, 2, [X,S]->inst). 723 suspend(X nin_s S, 2, X->inst). 773 suspend(SetX dis_s SetY, 2, [SetX, SetY]->del_glb) 851 suspend(ground_unio [all...] |
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | cardinal_functions.pl | 62 % Else suspend until Set further constrained. 64 check_cardinality(C, S):- var(C), !, suspend(check_cardinality(C,S), 2, C->inst). 69 ;suspend(check_cardinality(C,S), 2, S->cardinal:bounded)
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | solverinter.tex | 83 suspend & yes & yes & yes & yes & yes & yes \\ 150 ..., [ic, suspend]: (A #>= B), ... 154 will pass the constraint to both the ic and suspend solvers. 209 \item[\biptxtref{suspend}{lib(suspend)}{../bips/lib/suspend/index.html}]
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | changeset.pl | 142 suspend(flush_change_list(Store, ChangeStream), Prio1, Empty->inst). 157 suspend(flush_change_list(Store, ChangeStream), Prio1, Empty->inst). 188 suspend(flush_change_list(Store, More), Prio1, Empty->inst), 226 suspend(lp_re_solve(Handle, More), 9, More->inst).
|
H A D | frequency.pl | 107 suspend(frequency_aux(Vars,Occs,Vals,ValuesDom,S),4,[S->min,Var->any]) 169 suspend(occurrences(Values, List, Occs), 3, SomeVar->inst). 178 suspend(multi_occurrences(Values, X, ListWithoutX, Occs, Susp),
|
H A D | repair.pl | 541 arith_constraint(X < Y, X, Y, suspend:(X1 < Y1), X1, Y1) :- !. 542 arith_constraint(X > Y, X, Y, suspend:(X1 > Y1), X1, Y1) :- !. 543 arith_constraint(X =< Y, X, Y, suspend:(X1 =< Y1), X1, Y1) :- !. 544 arith_constraint(X >= Y, X, Y, suspend:(X1 >= Y1), X1, Y1) :- !. 545 arith_constraint(X =:= Y, X, Y, suspend:(X1 =:= Y1), X1, Y1) :- !. 546 arith_constraint(X =\= Y, X, Y, suspend:(X1 =\= Y1), X1, Y1) :- !. 615 suspend( 909 suspend( 1032 suspend(sum_update(C*V,T,Sum,Susp), 2, [V->inst,V->ga_chg], Susp) 1086 suspend(tent_cal [all...] |
H A D | cumulative_examples.pl | 289 suspend(rectangle_not_included(D1,R1,D2,R2,B),4,[Var->min,Var->max,B->inst]) 317 ; suspend(rectangle_not_included(D1,R1,D2,R2),4,[D1,D2,R1,R2]->constrained) 339 suspend(rectangle_not_included(D1,R1,D2,R2),4,[D1,D2,R1,R2]->constrained)
|
/barrelfish-master/usr/drivers/usb/usb_manager/controller/ohci/ |
H A D | usb_ohci.c | 49 * \param suspend flag the host controller should be suspended 51 static usb_error_t usb_ohci_init_controller(usb_ohci_hc_t *hc, uint8_t suspend) argument 96 if (suspend) {
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | label.pl | 608 insert_suspension(Var, Susp, constrained of suspend, suspend). 629 insert_suspension(Var, Susp, constrained of suspend, suspend) 750 insert_suspension(Var, Susp, inst of suspend, suspend), 758 remove_breakpoints(_{suspend: S}) :- 760 S = suspend with [constrained:C-_, inst:B-_], 802 insert_suspension(Var, Susp, constrained of suspend, suspend) [all...] |
H A D | expr.pl | 149 insert_suspension(Var, Susp, inst of suspend, suspend),
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | constimpl.tex | 211 {\bf suspend} library. Both implementations 212 have the same declarative meaning, but the {\bf suspend} version can 217 ?- suspend : (X =< 4). 222 ?- suspend : (X =< 4), X = 2. 226 ?- suspend : (X =< 4), X = 5. 513 this time using the suspend/3 built-in predicate to create a delayed goal for 514 \index{suspend/3} 518 suspend(capacity(T,N), 0, [T,N]->inst). 525 \item[{\bf suspend(Goal, Priority, Triggers)}] 526 \index{suspend/ [all...] |
H A D | solversintro.tex | 41 \subsection{Suspended Goals: {\em suspend}} 42 \index{suspend} 46 The simplest implementation of any constraint is to suspend it 49 The {\em suspend} solver implements this behaviour for all 193 that is clearer than directly using the underlying {\em suspend}
|
/barrelfish-master/include/usb/class/ |
H A D | usb_hub.h | 162 uint8_t suspend :1; ///< device on that port is suspended member in struct:usb_hub_port_status::__anon71
|
/barrelfish-master/usr/monitor/include/ |
H A D | monitor_invocations.h | 188 invoke_monitor_suspend_kcb_scheduler(bool suspend) argument 190 return cap_invoke2(cap_kernel, KernelCmd_Suspend_kcb_sched, suspend).error;
|