| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | bitmap.cpp | 62 size_t bytes = (bits+7) >> 3; local
|
| H A D | machine_dep.h | 55 virtual void FlushInstructionCache(void *p, POLYUNSIGNED bytes) {} argument
|
| H A D | osmem.cpp | 196 void *OSMem::Allocate(size_t &bytes, unsigned permissions) argument
|
| H A D | objsize.cpp | 166 POLYUNSIGNED bytes = start->Length() * sizeof(PolyWord); local
|
| H A D | reals.cpp | 152 union db { double dble; byte bytes[DBLE]; }; member in union:db
|
| H A D | gc_share_phase.cpp | 473 POLYUNSIGNED bytes = OBJ_OBJECT_LENGTH(s->lengthWord)*sizeof(PolyWord); local
|
| H A D | pexport.cpp | 142 POLYUNSIGNED bytes = length * sizeof(PolyWord); local
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/ |
| H A D | alloc_simp.c | 37 alloc(struct heap* heap, word_t bytes){ argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
| H A D | prep_cif.c | 113 unsigned bytes = 0; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | IntInf.sml | 83 val bytes = segLength i * Word.toInt RunCall.bytesPerWord value
|
| H A D | BoolArray.sml | 50 val bytes = words * wordSize value
385 val bytes = (Word.fromInt len + 0w7) >> 0w3 value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/ |
| H A D | arm_emitScript.sml | 23 val bytes = Q.prove( value
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/Examples/ |
| H A D | bitViewer.sml | 195 val bytes = widthBytes*height value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/cris/ |
| H A D | ffi.c | 162 unsigned bytes = 0; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/metag/ |
| H A D | ffi.c | 103 unsigned i, bytes = 0; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ |
| H A D | FP64.sml | 18 val bytes = Word8Vector.length (P.toBytes R.posInf) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/ |
| H A D | ffi.c | 70 ffi_prep_args(char *stack, extended_cif *ecif, int bytes, int flags) argument
[all...] |
| H A D | o32.S | 36 #define bytes a2 define
|
| H A D | n32.S | 36 #define bytes a2 define
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/pa/ |
| H A D | ffi.c | 142 void ffi_prep_args_pa32(UINT32 *stack, extended_cif *ecif, unsigned bytes) argument
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
| H A D | ffi_sysv.c | 95 unsigned bytes; local
352 const unsigned bytes = ecif->cif->bytes; local
[all...] |
| H A D | ffi_linux64.c | 109 unsigned bytes; local
372 const unsigned long bytes = ecif->cif->bytes; local
[all...] |
| H A D | ffi_darwin.c | 108 const unsigned bytes = ecif->cif->bytes; local
663 unsigned bytes; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
| H A D | ffi64.c | 359 size_t bytes, n; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/msvc32include/ |
| H A D | ffi.h | 225 unsigned bytes;
member in struct:__anon27
|