/barrelfish-master/usr/skb/programs/ |
H A D | scheduler.pl | 226 rotation(L1,L2) :- 228 rotationimp(L1, L2, Len).
|
H A D | queries.pl | 87 % 3. find core ID list which share same L2/L3 cache
|
H A D | decoding_net2.pl | 1235 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 D | decoding_net3.pl | 1561 word_to_num(L2W, L2), 1564 Parts = [L3,L2,L1].
|
H A D | decoding_net3_multid.pl | 1580 word_to_num(L2W, L2), 1583 Parts = [L3,L2,L1].
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | linearize.pl | 150 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 D | cp_min.pl | 240 discard(N,L1,L2), 242 parity_mem(L2,Parities,Parity,X,I)).
|
H A D | meta.pl | 525 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 D | systools.pl | 255 read_string(C2, end_of_line, L2, S2), 256 put_string(L2, S2),
|
H A D | suspend.pl | 191 merge_intersect([], L2, L2, []) :- !. 193 merge_intersect(L1, L2, Merged, Common) :- 198 sort(0, >, L2, S2),
|
H A D | fd_arith.pl | 536 linearize(Expr, [C|L2]) :- 539 var_sort(L1, L2).
|
H A D | kernel.pl | 2115 % 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 D | prolog.tex | 751 ?- 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 D | ilog.pl | 358 dvar_domain(V2, Dom2), get_domain(Dom2, L2), 359 domain_union(L1, L2, L, _),
|
/barrelfish-master/lib/msun/ld128/ |
H A D | s_expl.c | 279 r2 = fn * -L2;
|
/barrelfish-master/doc/013-capability-mgmt/ |
H A D | type_system.tex | 68 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 D | extchr.tex | 711 {\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 D | extconjunto.tex | 431 (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 D | ech.pl | 1369 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 D | m_tree234.pl | 2692 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 D | ARM.tex | 323 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 D | set.pl | 412 s_card(Glb,L2), 413 Card ::L2..L1
|
/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | yoyo3.pl | 493 general_search([[ide,m,Ide]],L1,L2,Result) :-
|
H A D | check_entry.pl | 565 general_search([[ide,m,Ide]],L1,L2,Result) :-
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/bn/asm/ |
H A D | pa-risc2.s | 899 $L2
|