| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/s390/ |
| H A D | sysv.S | 167 .byte 0xc # DW_CFA_def_cfa
187 .byte 0x8c # DW_CFA_offset, column 0xc
188 .uleb128 0xc
226 .byte 0x8c # DW_CFA_offset, column 0xc
227 .uleb128 0xc
366 .byte 0xc # DW_CFA_def_cfa
386 .byte 0x8c # DW_CFA_offset, column 0xc
395 .uleb128 0xc
|
| /seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
| H A D | Spline.java | 24 public SplineSection(double xb,double xc,double xd, argument
26 x_b=xb;x_c=xc;x_d=xd;
|
| /seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
| H A D | Spline.java | 24 public SplineSection(double xb,double xc,double xd, argument
26 x_b=xb;x_c=xc;x_d=xd;
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
| H A D | unix64.S | 347 .byte 0xc /* DW_CFA_def_cfa, %rsp offset 8 */
376 .byte 0xc /* DW_CFA_def_cfa, %rbp offset 32 */
385 .byte 0xc /* DW_CFA_def_cfa, %rsp offset 8 */
|
| H A D | darwin64.S | 331 .byte 0xc /* DW_CFA_def_cfa, %rsp offset 8 */
360 .byte 0xc /* DW_CFA_def_cfa, %rbp offset 32 */
370 .byte 0xc /* DW_CFA_def_cfa, %rsp offset 8 */
|
| H A D | darwin.S | 351 .byte 0xc
|
| H A D | freebsd.S | 363 .byte 0xc /* DW_CFA_def_cfa */
|
| H A D | sysv.S | 392 .byte 0xc /* DW_CFA_def_cfa */
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | realconv.cpp | 874 ULong *x, *xa, *xae, *xb, *xbe, *xc, *xc0; variable
908 xc = xc0;
911 z = *x++ * (ULLong)y + *xc + carry;
913 *xc++ = z & FFFFFFFF;
916 *xc = carry;
924 xc = xc0;
927 z = (*x & 0xffff) * y + (*xc & 0xffff) + carry;
929 z2 = (*x++ >> 16) * y + (*xc >> 16) + carry;
931 Storeinc(xc, z2, z);
934 *xc
1137 ULong *xa, *xae, *xb, *xbe, *xc; variable
[all...] |
| H A D | x86assembly_gas32.S | 69 #define Arg_StackLimit 0xc
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/alpha/ |
| H A D | osf.S | 332 .byte 0xc # DW_CFA_def_cfa
351 .byte 0xc # DW_CFA_def_cfa
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/ |
| H A D | axioms.lisp | 4097 "~%#<\\<e(acl2-window-prelude ?~sw ~xc)#>\\>#<\\<~sw")
4475 "~%#<\\<e(acl2-window-prelude ?~sw ~xc)#>\\>#<\\<~sw")
4851 "~%#<\\<e(acl2-window-prelude ?~sw ~xc)#>\\>#<\\<~sw")
5233 "~%#<\\<e(acl2-window-prelude ?~sw ~xc)#>\\>#<\\<~sw")
5535 "~%#<\\<e(acl2-window-prelude ?~sw ~xc)#>\\>#<\\<~sw")
5561 "~sv. Level ~Fl. Cbd ~xc.~|Distributed books ~
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/ |
| H A D | o32.S | 320 .byte 0xc # DW_CFA_def_cfa
346 .byte 0xc # DW_CFA_def_cfa
375 .byte 0xc # DW_CFA_def_cfa
|
| H A D | n32.S | 528 .byte 0xc # DW_CFA_def_cfa
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
| H A D | linux64.S | 227 .byte 0xc # DW_CFA_def_cfa
|
| H A D | sysv.S | 175 .byte 0xc /* DW_CFA_def_cfa */
|
| H A D | darwin.S | 334 .byte 0xc ; DW_CFA_def_cfa
|
| H A D | ppc_closure.S | 351 .byte 0xc # DW_CFA_def_cfa
|
| H A D | linux64_closure.S | 366 .byte 0xc # DW_CFA_def_cfa
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sh/ |
| H A D | sysv.S | 727 .byte 0xc /* DW_CFA_def_cfa */
756 .byte 0xc /* uleb128 0x4 */
773 .byte 0x8c /* DW_CFA_offset, column 0xc */
812 .byte 0xc /* uleb128 0x4 */
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/pa/ |
| H A D | hpux32.S | 315 .byte 0xc ;# DW_CFA_def_cfa
|
| H A D | linux.S | 304 .byte 0xc ;# DW_CFA_def_cfa
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/ |
| H A D | v8.S | 292 .byte 0xc ! DW_CFA_def_cfa
|
| H A D | v9.S | 252 .byte 0xc ! DW_CFA_def_cfa
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sh64/ |
| H A D | sysv.S | 464 .byte 0xc /* DW_CFA_def_cfa */
489 .uleb128 0xc
528 .byte 0x8c /* DW_CFA_offset, column 0xc */
|