| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/ |
| H A D | machine.h | 51 static inline void clearMemory(word_t* ptr, word_t bits) argument
58 static inline void clearMemoryRAM(word_t* ptr, word_t bits) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | bitmap.cpp | 59 bool Bitmap::Create(POLYUNSIGNED bits) argument
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ |
| H A D | Bitstring.sig | 39 val bits: Nat.nat * Nat.nat -> bitstring -> bitstring value
|
| H A D | Bitstring.sml | 158 fun bits (h, l) = function
|
| H A D | BitsN.sig | 69 val bits: Nat.nat * Nat.nat -> nbit -> nbit value
|
| H A D | BitsN.sml | 76 fun bits (h, l) = function
|
| /seL4-l4v-10.1.1/l4v/tools/haskell-translator/ |
| H A D | pars_skl.py | 56 bits = line.split() variable
[all...] |
| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/ |
| H A D | machine.h | 44 static inline void clearMemory(void* ptr, unsigned int bits) argument
|
| /seL4-l4v-10.1.1/seL4/include/fastpath/ |
| H A D | fastpath.h | 20 word_t guardBits, radixBits, bits; local
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibClause.sig | 33 type bits = {parm : parameters, id : int, thm : thm, order : termorder} type
|
| H A D | mlibClause.sml | 207 type bits = {parm : parameters, id : int, thm : thm, order : termorder}; type
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/ |
| H A D | ppc_Lib.sml | 15 val bits = (snd o dest_eq o concl o EVAL) tm value
|
| H A D | prog_ppcLib.sml | 50 val bits = collect_term_of_type ``:ppc_bit`` g; value
|
| /seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ |
| H A D | deprecated.h | 131 static inline SEL4_DEPRECATED("Use seL4_CNode_CapData_new().words[0]") seL4_Word seL4_CapData_Guard_new(seL4_Word guard, seL4_Word bits) argument
|
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | trace_refute.py | 642 bits variable
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | GdiBase.sml | 76 val bits = value
|
| H A D | Menu.sml | 350 val (bits, typeData, cch, bmp) = value
371 val (bits, typeData, cch, bmp) = value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | MD5.sml | 121 val bits = packLittle [lo,hi] value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/arm/ |
| H A D | prog_armLib.sml | 57 val bits = collect_term_of_type ``:arm_bit`` g value
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
| H A D | muddy.c | 874 EXTERNML value mlbvec_true(value bits) { argument
879 EXTERNML value mlbvec_false(value bits) { argument
884 EXTERNML value mlbvec_con(value bits, value val) /* ML */ argument
890 EXTERNML value mlbvec_var(value bits, value var, value step) /* ML */ argument
902 EXTERNML value mlbvec_coerce(value bits, value v) /* ML */ argument
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v4/ |
| H A D | assemblerML.sml | 68 fun bits h l (n:bool list) = List.take(List.drop(n,l),h + 1 - l); function
[all...] |
| H A D | arm_evalLib.sml | 651 fun bits h l n = (n mod pow(two,plus1 h)) div (pow(two,l)) function
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/ |
| H A D | machine.h | 295 static inline void clearMemory(void* ptr, unsigned int bits) argument
|
| /seL4-l4v-10.1.1/HOL4/src/list/src/ |
| H A D | ListConv1.sml | 1006 (let val (bits,lty) = (dest_list lst) value
1051 (let val (bits,lty) = dest_list lst value
|
| /seL4-l4v-10.1.1/HOL4/src/n-bit/ |
| H A D | blastLib.sml | 985 val (bits,rest) = List.partition (Lib.can dest_bit) c value
986 val bits = eq_fst_partition (List.map dest_bit bits) value
|