Searched refs:kf (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/lib/openssl-1.0.0d/crypto/idea/ |
| H A D | i_skey.c | 66 register IDEA_INT *kt,*kf,r0,r1,r2; local
72 kf=kt;
76 r2= kf[1];
77 r1= kf[2];
79 r0= kf[3];
81 r1= kf[4];
83 r0= kf[5];
85 r1= kf[6];
87 r0= kf[7];
89 r1= kf[
[all...] |
| /barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
| H A D | chr2pl.pl | 228 syn_heads((HeadKf1 \ HeadKf2), (kf(Head1, KF1) \ kf(Head2, KF2))) :-
232 syn_heads((HeadKf1, HeadKf2), [kf(Head1, KF1), kf(Head2, KF2)]) :-
236 syn_heads(HeadKf, [kf(Head, KF)]) :-
279 keep_heads_double_repl(G, Guard, Goal, kf(H1, KF1), kf(H2, KF2), Kind) :-
460 Head = kf(Head1, _KF),
467 HKf = kf(H, KF),
496 HKf = kf(
[all...] |
Completed in 30 milliseconds