/barrelfish-master/lib/openssl-1.0.0d/crypto/aes/asm/ |
H A D | aes-armv4.pl | 16 # allows to merge logical or arithmetic operation with shift or rotate 28 # Cortex A8 core and ~25 cycles per byte processed with 128-bit key. 233 moveq pc,lr @ be binary compatible with V4, yet 234 bx lr @ interoperable with Thumb ISA:-) 607 moveq pc,lr @ be binary compatible with V4, yet 608 bx lr @ interoperable with Thumb ISA:-) 697 moveq pc,lr @ be binary compatible with V4, yet 698 bx lr @ interoperable with Thumb ISA:-) 878 moveq pc,lr @ be binary compatible with V4, yet 879 bx lr @ interoperable with Thum [all...] |
/barrelfish-master/lib/openssl-1.0.0d/crypto/rc4/asm/ |
H A D | rc4-ia64.pl | 81 # with McKinley/Madison issue port & latency numbers, assuming L1 133 # and then write them back at once with a single "st8" (this 140 # - We can't replace any of the remaining "add/zxt1" pairs with 146 # system bus bandwidth and hence with judicious use of 153 # interfere with the S[] table values stored there. This is 160 # the bypass with a simple conditional move instruction. 163 # (about 0.04 cycles/byte, measured on a 16396 byte file with 408 assembler failed on original macro with syntax error. <appro> */ 700 lfetch.nt1 [EndPtr] // fetch line with last byte
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/sha/asm/ |
H A D | sha512-armv4.pl | 24 # namely with most significant dword at *lower* address, which is 393 moveq pc,lr @ be binary compatible with V4, yet 394 bx lr @ interoperable with Thumb ISA:-) 401 $code =~ s/\bbx\s+lr\b/.word\t0xe12fff1e/gm; # make it possible to compile with -march=armv4
|
/barrelfish-master/lib/acpica/source/common/ |
H A D | dmextern.c | 26 * Code in any form, with the right to sublicense such rights; and 29 * license (with the right to sublicense), under only those claims of Intel 42 * 3.1. Redistribution of Source with Rights to Further Distribute Source. 44 * Code or modification with rights to further distribute source must include 54 * 3.2. Redistribution of Source with no Rights to Further Distribute Source. 58 * documentation and/or other materials provided with distribution. In 69 * provision in the documentation and/or other materials provided with the 106 * compliance with all laws, regulations, orders, or other restrictions of the 229 * Path - Path with parent prefix 233 * DESCRIPTION: Returns the full pathname of a path with paren [all...] |
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | occur.pl | 61 % unifies Term with the subterm of Exp found by following Path.
|
/barrelfish-master/doc/015-disk-driver-arch/ |
H A D | xahcid.tex | 46 id and are registered with the skb. For every disk, an \ac{ata} {\tt IDENTIFY}
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | s_lists.pl | 6 % in compliance with the License. You may obtain a copy of the License
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | propia_fdtests.pl | 7 % in compliance with the License. You may obtain a copy of the License
|
H A D | s_lists.pl | 6 % in compliance with the License. You may obtain a copy of the License
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | cumulative_examples.pl | 6 % in compliance with the License. You may obtain a copy of the License 82 Options = bb_options with strategy:Strategy,
|
H A D | shadow_cons.pl | 6 % in compliance with the License. You may obtain a copy of the License 43 summary:"Finds the shadow variable associated with the input 58 % fail_if:"The original variable already has a shadow which cannot be unified with the new one, or if the input is not unifiable with its shadow.", 87 fail_if:"The constraint is inconsistent with those previously imposed on the shadow store",
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | util.pl | 7 % in compliance with the License. You may obtain a copy of the License 55 desc:html("Succeeds if From and To are integers and I unifies with a
|
H A D | atts.pl | 7 % in compliance with the License. You may obtain a copy of the License 30 * Attribute access compatible with SICStus v3 36 :- comment(summary, "Variable attributes compatible with SICStus v3").
|
H A D | io.pl | 7 % in compliance with the License. You may obtain a copy of the License 435 :- mode options_to_format(?,+,-,+,-,+,-,+,-). % may fail with bip_error 537 % This is currently strict wrt Options: they must fit with the direction. % SWI is permissive and ignores all unknown options in either direction. 581 % fails with bip_error 951 % Key: the key used to access dynamic data associated with the peer. 976 % Currently, the only dynamic data associated with a peer are the peer queues. 989 % sync(SocketName): synchronous remote queue, with socket 997 % Dealing with events: 1612 ), _, true) % ignore any problems with the handler 1618 ), _, true), % ignore any problems with th [all...] |
H A D | systools.pl | 7 % in compliance with the License. You may obtain a copy of the License 296 % Print all predicates exported from sepia_kernel together with their class 372 % Compare .pl with .eco file
|
H A D | kernel.pl | 7 % in compliance with the License. You may obtain a copy of the License 117 op_(global, 650, xfx, with , sepia_kernel), 329 % try to re-load the eclipse shared library (now with the right options). 369 % and yields with the proper return codes. 417 % We may be resumed with one of the following resume codes: 718 % sign: Signature is powm(Digest,D,N) with private_key(D,N) 719 % validate: Digest =:= powm(Signature,E,N) with public_key(E,N) 726 public_key(E, N), % could succeed with alternative keys 1002 % rerecord_body/3 removes all values associated with the first argument before 1003 % associating the second argument with th [all...] |
H A D | asm.pl | 7 % in compliance with the License. You may obtain a copy of the License 47 % with the code specified by WAMList. 106 % and maximum of the range (and thus not ordered with the rest) 139 as the predicate PredSpec. The WAM code is in the form of a list, with 166 in the form of a list, with each element representing one WAM 193 desc:html(" Unifies WAMCode with the WAM instructions representing the abstract 195 form). The WAM code is in the form of a list, with each element 211 fail_if:" Fails if WAMCode is initially instantiated and does not unify with the WAM code generated by asm/1 for the predicate, or if PredSpec is dynamic.", 232 desc:html(" Unifies WAMCode with the WAM instructions representing the abstract 234 form) in module Module. The WAM code is in the form of a list, with eac [all...] |
H A D | linearize.pl | 6 % in compliance with the License. You may obtain a copy of the License 78 args:["Expression":"Arithmetic expression with constants and variables", 162 "Expression":"Arithmetic expression with constants and variables"], 419 % all monomials with identical variables are merged. 437 args:["Expression":"Arithmetic expression with constants and variables", 459 all monomials with identical variables are merged. 519 "Expression":"Arithmetic expression with constants and variables"], 555 args:["Expression":"Arithmetic expression with constants and variables", 712 % XsSorted is a list with numbers at the beginning, 820 % to be a record with th [all...] |
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | fdsets.tex | 6 % in compliance with the License. You may obtain a copy of the License 36 of finite sets of integers. Unlike {\em conjunto}, it cannot deal with
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/ |
H A D | crypto-lib.com | 25 $! Specify DEBUG or NODEBUG as P2 to compile with or without debugger 54 $! 32 To ge a library compiled with /POINTER_SIZE=32 55 $! 64 To ge a library compiled with /POINTER_SIZE=64 952 $ WRITE SYS$OUTPUT " 32 : Compile with 32 bit pointer size" 953 $ WRITE SYS$OUTPUT " 64 : Compile with 64 bit pointer size" 1260 $! Done with SOCKETSHR 1273 $! Done with MULTINET 1293 $! Done with UCX 1306 $! Done with TCPIP 1319 $! Done with TCPI [all...] |
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | label.pl | 6 % in compliance with the License. You may obtain a copy of the License 77 % Otherwise we go on with the selection we have 760 S = suspend with [constrained:C-_, inst:B-_], 902 get_attribute(Var, grace with [range:Low..High]),
|
H A D | matrices.pl | 6 % in compliance with the License. You may obtain a copy of the License 97 % If it is a structure with variable arguments, consider it one row. 497 %find_variable(Var{grace with id:Id}, N, I, J) :-
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | Makefile | 6 % in compliance with the License. You may obtain a copy of the License 42 # Librairies used with examples 73 # LDFLTFLAGS is needed to link with the Solver Floating Point 116 # 2. To get exception handling working, we additionally link with
|
/barrelfish-master/usr/eclipseclp/ |
H A D | configure | 88 # (If _AS_PATH_WALK were called with IFS unset, it would disable word 113 $as_echo "$as_myself: error: cannot find myself; rerun with an absolute file name" >&2 158 $as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2 259 $as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2 281 # Unset more variables known to interfere with behavior of common tools. 307 # Exit the shell with STATUS, even in a "trap 0" or "set -e" context. 410 # script with STATUS, using 1 if that was 0. 489 { $as_echo "$as_me: error: cannot create $as_me.lineno; rerun with a POSIX shell" >&2; as_fn_exit 1; } 491 # If we had to re-execute with $CONFIG_SHELL, we're ensured to have 829 # The variables have the same names as the options, with [all...] |
/barrelfish-master/usr/skb/programs/ |
H A D | irq_routing_new.pl | 45 % This fact links the hpet_comp controller labels with the hpet_comp facts 49 % Link the PCI controller label with an addr(...) 52 % X86 int model with one argument with a single atom that indicates 262 InAddrLo $= InAddr - 16'0FEE0000, %No bitwise operations with IC lib. 406 % Gets a list with consecutive mapf entries for a installed route 416 % All port numbers are 0 based with respect to the controller in- resp. out-port range. 908 %% Modified Version with connections (not tested)
|