Searched refs:xb (Results 1 - 15 of 15) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | apic.c | 27 apic_write_reg(APIC_TIMER_DIVIDE, 0xb); /* divisor = 1 */
76 apic_write_reg(APIC_TIMER_DIVIDE, 0xb); /* divisor = 1 */
|
| /seL4-l4v-10.1.1/HOL4/src/Boolify/src/ |
| H A D | EncodeScript.sml | 162 `encode_prod xb yb (x : 'a, y : 'b) : bool list = APPEND (xb x) (yb y)`;
168 ``!xb yb p. encode_prod xb yb p = APPEND (xb (FST p)) (yb (SND p))``,
190 `(encode_sum xb yb (INL (x : 'a)) : bool list = T :: xb x) /\
191 (encode_sum xb yb (INR (y : 'b)) = F :: yb y)`;
213 `(encode_option xb NONE = [F]) /\
214 (encode_option xb (SOM
[all...] |
| /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/s390/ |
| H A D | sysv.S | 186 .uleb128 0xb
189 .byte 0x8b # DW_CFA_offset, column 0xb
204 .uleb128 0xb
225 .uleb128 0xb
388 .byte 0x8b # DW_CFA_offset, column 0xb
393 .uleb128 0xb
403 .uleb128 0xb
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | realconv.cpp | 874 ULong *x, *xa, *xae, *xb, *xbe, *xc, *xc0; variable
901 xb = b->x;
902 xbe = xb + wb;
905 for(; xb < xbe; xc0++) {
906 if ((y = *xb++)) {
921 for(; xb < xbe; xb++, xc0++) {
922 if (y = *xb & 0xffff) {
936 if (y = *xb >> 16) {
953 for(; xb < xb
1101 ULong *xa, *xa0, *xb, *xb0; variable
1137 ULong *xa, *xae, *xb, *xbe, *xc; variable
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
| H A D | unix64.S | 392 .byte 0xb /* DW_CFA_restore_state */
421 .byte 0xb /* DW_CFA_restore_state */
|
| H A D | darwin64.S | 378 .byte 0xb /* DW_CFA_restore_state */
410 .byte 0xb /* DW_CFA_restore_state */
|
| /seL4-l4v-10.1.1/HOL4/src/num/ |
| H A D | numLib.sml | 93 val (xv,xb) = dest_exists lc
99 val rqd = mk_eq (tm, mk_exists(xv,mk_conj(xb,subst[yv |-> xv] yb)))
|
| /seL4-l4v-10.1.1/isabelle/src/Doc/Logics/document/ |
| H A D | CTT.tex | 1031 {\out lam x xa xb. ?b7(x,xa,xb)}
1042 {\out lam x xa xb. x ` <xa,xb>}
1052 {\out lam x xa xb. x ` <xa,xb>}
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics/document/ |
| H A D | CTT.tex | 1031 {\out lam x xa xb. ?b7(x,xa,xb)}
1042 {\out lam x xa xb. x ` <xa,xb>}
1052 {\out lam x xa xb. x ` <xa,xb>}
|
| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/ |
| H A D | encoding.h | 701 #define MATCH_CUSTOM0 0xb
971 #define CAUSE_MACHINE_ECALL 0xb
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sh64/ |
| H A D | sysv.S | 491 .uleb128 0xb
|
| /seL4-l4v-10.1.1/isabelle/src/Doc/Tutorial/document/ |
| H A D | rules.tex | 1104 produced at top level, so that \isa{xa} changes to~\isa{xb} or reverts to~\isa{x}.
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Tutorial/document/ |
| H A D | rules.tex | 1104 produced at top level, so that \isa{xa} changes to~\isa{xb} or reverts to~\isa{x}.
|
Completed in 207 milliseconds