| /seL4-l4v-master/seL4/include/arch/arm/arch/ |
| H A D | machine.h | 50 static inline void clearMemory(word_t *ptr, word_t bits) argument
57 static inline void clearMemoryRAM(word_t *ptr, word_t bits) argument
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | bitmap.cpp | 59 bool Bitmap::Create(size_t bits) argument
[all...] |
| H A D | winbasicio.cpp | 704 int bits = get_C_int(taskData, bitVec->Get(i)); local
|
| H A D | basicio.cpp | 507 POLYUNSIGNED bits = UNTAGGED(bitVec->Get(i)); local
|
| /seL4-l4v-master/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-master/l4v/tools/haskell-translator/ |
| H A D | pars_skl.py | 52 bits = line.split() variable
[all...] |
| /seL4-l4v-master/seL4/include/fastpath/ |
| H A D | fastpath.h | 14 word_t guardBits, radixBits, bits; local
|
| /seL4-l4v-master/seL4/include/kernel/ |
| H A D | boot.h | 132 static inline BOOT_CODE word_t get_n_paging(v_region_t v_reg, word_t bits) argument
|
| /seL4-l4v-master/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-master/HOL4/examples/machine-code/instruction-set-models/ppc/ |
| H A D | prog_ppcLib.sml | 50 val bits = collect_term_of_type ``:ppc_bit`` g; value
|
| H A D | ppc_Lib.sml | 15 val bits = (snd o dest_eq o concl o EVAL) tm value
|
| /seL4-l4v-master/seL4/libsel4/include/sel4/ |
| H A D | deprecated.h | 124 seL4_CapData_Guard_new(seL4_Word guard, seL4_Word bits) argument
|
| /seL4-l4v-master/seL4/include/arch/riscv/arch/ |
| H A D | machine.h | 113 static inline void clearMemory(void *ptr, unsigned int bits) argument
|
| /seL4-l4v-master/graph-refine/ |
| H A D | trace_refute.py | 640 bits variable
[all...] |
| /seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Menu.sml | 350 val (bits, typeData, cch, bmp) = value
371 val (bits, typeData, cch, bmp) = value
|
| H A D | GdiBase.sml | 76 val bits = value
|
| /seL4-l4v-master/HOL4/src/portableML/poly/ |
| H A D | MD5.sml | 121 val bits = packLittle [lo,hi] value
|
| /seL4-l4v-master/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...] |
| /seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/arm/ |
| H A D | prog_armLib.sml | 67 val bits = collect_term_of_type ``:arm_bit`` g value
|
| /seL4-l4v-master/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-master/seL4/include/arch/x86/arch/ |
| H A D | machine.h | 341 static inline void clearMemory(void *ptr, unsigned int bits) argument
|