| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | exporter.cpp | 166 POLYUNSIGNED size = (space->top-space->bottom)/4; local
198 POLYUNSIGNED size = space->allocatedSpace(); local
215 POLYUNSIGNED size = space->spaceSize(); local
[all...] |
| H A D | polyffi.cpp | 191 POLYUNSIGNED size = getPolyUnsigned(taskData, args->Word()); local
330 size_t size = getPolyUnsigned(taskData, args->WordP()->Get(0)); local
|
| H A D | memmgr.cpp | 81 bool LocalMemSpace::InitSpace(POLYUNSIGNED size, bool mut) argument
139 LocalMemSpace* MemMgr::NewLocalSpace(POLYUNSIGNED size, bool mut) argument
186 LocalMemSpace *MemMgr::CreateAllocationSpace(POLYUNSIGNED size) argument
308 NewExportSpace(POLYUNSIGNED size, bool mut, bool noOv, bool code) argument
590 NewCodeSpace(POLYUNSIGNED size) argument
781 NewStackSpace(POLYUNSIGNED size) argument
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/aarch64/ |
| H A D | ffi.c | 597 size_t size = alignment; local
481 allocate_to_stack(struct arg_state *state, void *stack, size_t alignment, size_t size) argument
878 size_t size = ALIGN (cif->rtype->size, sizeof (UINT64)); local
1160 size_t size = ALIGN (cif->rtype->size, sizeof (UINT64)) ; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
| H A D | closures.c | 609 ffi_closure_alloc (size_t size, void **code) argument
673 ffi_closure_alloc (size_t size, void **code) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
| H A D | ffi_linux64.c | 658 flush_icache(char *wraddr, char *xaddr, int size) argument
[all...] |
| H A D | ffi_darwin.c | 477 darwin64_pass_struct_by_value(ffi_type *s, char *src, unsigned size, unsigned *nfpr, double **fprs, unsigned long **arg) argument
1092 flush_range(char * addr1, int size) argument
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
| H A D | ffi64.c | 171 size_t size = byte_offset + type->size; local
460 size_t n, size = arg_types[i]->size; local
[all...] |
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | ElementSet.sml | 67 fun size (Set m) = KM.size m; function
|
| H A D | TermNet.sml | 156 fun size (Net (_,_,NONE)) = 0 function
|
| H A D | Active.sml | 276 fun size (Active {clauses,...}) = IntMap.size clauses; function
|
| H A D | Model.sig | 13 type size = {size : int} type
208 val size : model -> int value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | StringSignatures.sml | 73 val size : string -> int value
112 val size : substring -> int value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | ElementSet.sml | 67 fun size (Set m) = KM.size m; function
|
| H A D | TermNet.sml | 156 fun size (Net (_,_,NONE)) = 0 function
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
| H A D | breakpoint.c | 211 convertSizeToArch(uint16_t bp_num, word_t type, word_t size) argument
423 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | Map.sml | 146 fun size (Map (_,tree)) = treeSize tree; function
337 val {size = s1, priority = p1, value
369 val {size = s1, left = l1, key = k1, right = r1, ...} = x1 value
370 and {size = s2, ...} = x2 value
394 val {size = s1, left = l1, key = k1, right = r1, ...} = x1 value
395 and {size = s2, ...} = x2 value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Dialog.sml | 274 val size = LargeWord.toInt(PackWord16Little.subVec(w, !ptr div 2)) value
482 val size = Word8Vector.length compiled value
524 val size = Word8Vector.length compiled value
[all...] |
| H A D | Bitmap.sml | 248 val size = LargeWord.toInt(PackWord32Little.subVec(w, 0)) value
352 val size = bitOffset + Word.fromInt sizeImage value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibArbnum.sml | 440 val size = Random.range(1,8) gen value
|
| H A D | mlibRewrite.sml | 89 fun size (REWRS {known, ...}) = M.numItems known; function
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/mosml/ |
| H A D | Arbnumcore.sml | 555 val size = Random.range(1,8) gen value
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | kernel.c | 540 bdd_setmaxincrease(int size) argument
568 bdd_setmaxnodenum(int size) argument
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/msvc32include/ |
| H A D | ffi.h | 109 size_t size;
member in struct:_ffi_type
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arm/ |
| H A D | ffi.c | 200 size_t size = (*p_arg)->size; local
655 ffi_closure_alloc(size_t size, void **code) argument
[all...] |