Searched refs:L2 (Results 51 - 75 of 76) sorted by relevance

1234

/barrelfish-master/usr/skb/programs/
H A Dscheduler.pl226 rotation(L1,L2) :-
228 rotationimp(L1, L2, Len).
H A Dqueries.pl87 % 3. find core ID list which share same L2/L3 cache
H A Ddecoding_net2.pl1235 word_to_num(L2W, L2),
1238 Parts = [L3,L2,L1].
1281 split_vpn(VPN, [L3,L2,L1]),
1283 pt_delta_append_if_new(Out1,Out2, pt(L2Idx, L2, L1Idx)),
H A Ddecoding_net3.pl1561 word_to_num(L2W, L2),
1564 Parts = [L3,L2,L1].
H A Ddecoding_net3_multid.pl1580 word_to_num(L2W, L2),
1583 Parts = [L3,L2,L1].
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dlinearize.pl150 linrenorm(L1,L2), writeln(L2).
249 lin_mult(E2C, E1Lin, L2, L1),
251 L=L2, R=ProdR, R0=ProdR0
253 L=L2, R=ProdR, R0=ProdR0
258 resubstitute_free_nonlinears(ProdR,L2,R0,R1),
261 L = [1*Aux|L2],
H A Dcp_min.pl240 discard(N,L1,L2),
242 parity_mem(L2,Parities,Parity,X,I)).
H A Dmeta.pl525 Goal1 = (nonvar(Attr) -> M:Goal,max(L0,L1,L2),min(U0,U1,U2) ; L2=L0,U2=U0),
528 U2=U, L2=L
531 local_get_bounds_handlers(List, Meta, L2, U2, L, U, NewBody)
H A Dsystools.pl255 read_string(C2, end_of_line, L2, S2),
256 put_string(L2, S2),
H A Dsuspend.pl191 merge_intersect([], L2, L2, []) :- !.
193 merge_intersect(L1, L2, Merged, Common) :-
198 sort(0, >, L2, S2),
H A Dfd_arith.pl536 linearize(Expr, [C|L2]) :-
539 var_sort(L1, L2).
H A Dkernel.pl2115 % subtract(L1, L2, L3)
2116 % L3 = L1 - L2
2119 subtract([Head|L1tail], L2, L3) :-
2120 memberchk(Head, L2),
2122 subtract(L1tail, L2, L3).
2123 subtract([Head|L1tail], L2, [Head|L3tail]) :-
2124 subtract(L1tail, L2, L3tail).
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dprolog.tex751 ?- L1 = [], L2 = [c|L1], L3 = [b|L2], L4 = [a|L3].
753 L2 = [c]
764 ?- L4 = [a|L3], L3 = [b|L2], L2 = [c|L1], L1 = [].
766 L2 = [c]
808 %% append(L1, L2, L) L is the list L2 appended to the end of L1
810 %append([E|L1], L2, [E|L]) :-
811 % append(L1, L2,
[all...]
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dilog.pl358 dvar_domain(V2, Dom2), get_domain(Dom2, L2),
359 domain_union(L1, L2, L, _),
/barrelfish-master/lib/msun/ld128/
H A Ds_expl.c279 r2 = fn * -L2;
/barrelfish-master/doc/013-capability-mgmt/
H A Dtype_system.tex68 the root or L1 CNode (which can be dynamically enlarged), and L2 or leaf
80 The CPU driver then uses the L1 index to perform a lookup for the L2 CNode.
81 If an L2 CNode exists for the given L1 index, the low 8 bits of the supplied
82 capability address are used as an index into the L2 CNode.
83 The CPU driver then uses the L2 index to perform a lookup for the requested
88 invocations to refer to a L2 CNode capability that is located in a L1 slot,
126 datatype L2CNode "L2 CNode capability" {
132 Note that L2 CNodes have a fixed size of 16384 bytes, which is
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dextchr.tex711 {\tt append(L1,[],L2) <=> L1=L2} together with {\tt label\_with\index{label\_with declaration}
712 append(L1,L2,L3) if true}.
1034 \+nonground(Y), remove_higher(Y,[A|L],L1), remove(Y,L1,L2) |
1035 X::L2.
1043 \verb+X::L2+ would not be actually executed, because the older constraint in
1046 is removed after the guard, so the \verb+X::L2+ is executed, and this can
1051 \+nonground(Y), remove_higher(Y,[A|L],L1), remove(Y,L1,L2),
1052 L2\==[A|L] |
1053 X::L2
[all...]
H A Dextconjunto.tex431 (LS = [] ; LS = [L2 | _Rest],
432 all_distincts([S | L], L2),
439 all_distincts([S1 |L], L2) :-
440 distinctsfrom(S1, L2),
441 all_distincts(L, L2).
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Dech.pl1369 intersect([V1|L1], L2, Intersect, Remain) :-
1370 (membervar(L2, V1) ->
1373 ), intersect(L1, L2, Intersect0, Remain0).
2325 L = [SIndex0|L2], % identical, throw one away
2326 ordered_merge(L00, L11, L2)
2328 L = [SIndex0|L2],
2329 ordered_merge(L00, L1, L2)
2331 L = [SIndex1|L2],
2332 ordered_merge(L0, L11, L2)
/barrelfish-master/usr/eclipseclp/Mercury/
H A Dm_tree234.pl2692 keys_2(T1, [K1 | L1], L2),
2693 keys_2(T0, [K0 | L2], L).
2696 keys_2(T2, [K2 | L1], L2),
2697 keys_2(T1, [K1 | L2], L3),
2714 values_2(T1, [V1 | L1], L2),
2715 values_2(T0, [V0 | L2], L).
2718 values_2(T2, [V2 | L1], L2),
2719 values_2(T1, [V1 | L2], L3),
2751 tree234_to_assoc_list_2(T1, [K1 - V1 | L1], L2),
2752 tree234_to_assoc_list_2(T0, [K0 - V0 | L2],
[all...]
/barrelfish-master/doc/017-arm/
H A DARM.tex323 for a kernel L2 page table.
883 \item Enable the L2 MMU
884 \item Set up mappings for the loaded image in the L2 MMU (can be
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dset.pl412 s_card(Glb,L2),
413 Card ::L2..L1
/barrelfish-master/usr/eclipseclp/Opium/demo/
H A Dyoyo3.pl493 general_search([[ide,m,Ide]],L1,L2,Result) :-
H A Dcheck_entry.pl565 general_search([[ide,m,Ide]],L1,L2,Result) :-
/barrelfish-master/lib/openssl-1.0.0d/crypto/bn/asm/
H A Dpa-risc2.s899 $L2

Completed in 232 milliseconds

1234