/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/ |
H A D | getopts.scala | 18 if (s.size == 1) (s(0), (false, f)) 19 else if (s.size == 2 && s.endsWith(":")) (s(0), (true, f))
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Active.sig | 31 val size : active -> int value
|
H A D | Problem.sig | 17 val size : problem -> {clauses : int, value
|
H A D | Problem.sml | 21 fun size prob = function 23 fun lits (cl,n) = n + LiteralSet.size cl 118 else if NameAritySet.size rels = 1 then PureEquality 123 else if List.all (fn cl => LiteralSet.size cl = 1) cls then Unit
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/ |
H A D | debug.h | 145 word_t size, word_t rw) 158 if (size == 8 && !byte8BreakpointsSupported()) { 143 Arch_decodeSetBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument
|
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibClauseset.sml | 115 size : int, 126 val SET {parm = z, size = _, units = u, rewrites = r, clauses = c, 129 SET {parm = z, size = n, units = u, rewrites = r, clauses = c, 135 val SET {parm = z, size = n, units = _, rewrites = r, clauses = c, 138 SET {parm = z, size = n, units = u, rewrites = r, clauses = c, 144 val SET {parm = z, size = n, units = u, rewrites = _, clauses = c, 147 SET {parm = z, size = n, units = u, rewrites = r, clauses = c, 153 val SET {parm = z, size = n, units = u, rewrites = r, clauses = _, 156 SET {parm = z, size = n, units = u, rewrites = r, clauses = c, 162 val SET {parm = z, size 600 val size = ssize; value [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
H A D | dlmalloc.c | 51 Each malloced chunk has a hidden word of overhead holding size 55 Minimum allocated size: 4-byte ptrs: 16 bytes (including overhead) 59 pointer to something of the minimum allocatable size. 62 to the minimum size, except for requests >= mmap_threshold that 345 The system page size. To the extent possible, this malloc manages 346 memory from the system in page-size units. This may be (and 348 if WIN32, where page size is determined using getSystemInfo during 377 DEFAULT_GRANULARITY default: page size if MORECORE_CONTIGUOUS, 388 to either page size or win32 region size 1329 os2mmap(size_t size) argument 1340 os2munmap(void* ptr, size_t size) argument 1364 win32mmap(size_t size) argument 1370 win32direct_mmap(size_t size) argument 1377 win32munmap(void* ptr, size_t size) argument 1937 size_t size; /* allocated size */ member in struct:malloc_segment 2768 size_t size = chunksize(p); local 2785 size_t size = chunksize(x); local 3621 size_t size = sp->size; local 3964 size_t size = chunksize(p); local 4015 size_t size; local 4528 size_t size = sp->size; local [all...] |
H A D | java_raw_api.c | 117 ALIGN ((*tp)->size, sizeof(ffi_java_raw)) / sizeof(ffi_java_raw); 145 ALIGN ((*tp)->size, sizeof(ffi_java_raw)) / sizeof(ffi_java_raw); 235 memcpy ((void*) raw->data, (void*)*args, (*tp)->size); 237 ALIGN ((*tp)->size, sizeof(ffi_java_raw)) / sizeof(ffi_java_raw);
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | Tree.sml | 3 type size type 38 type size = int type
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
H A D | Tree.sml | 3 type size type 38 type size = int type
|
/seL4-l4v-10.1.1/HOL4/src/opentheory/ |
H A D | OpenTheoryCommon.sml | 6 else if size s = 1 then "'"^(str(Char.toLower (sub(s,0)))) 11 if size s = 2 then str(Char.toUpper (sub(s,1)))
|
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
H A D | utils-sig.sml | 54 val size : 'a table -> int value 69 val size : table -> int value
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/step/ |
H A D | x64_stepLib.sml | 195 (mapl (`size`, sizes)) 196 ``write_SF (size, w)`` 199 EV [write_ZF_def, write'ZF_def, write'Eflag_rwt] [] (mapl (`size`, sizes)) 200 ``write_ZF (size, w)`` 228 ``ea_Zrm (size, rm)`` 247 ``ea_Zdest (size, ds)`` 260 ``ea_Zsrc (size, ds)`` 333 write_PF_rwt] @ write_SF_rwt @ write_ZF_rwt) [] (mapl (`size`, sizes)) 334 ``write_arith_eflags_except_CF_OF (size, w)`` 338 write_arith_eflags_except_CF_OF_rwt) [] (mapl (`size`, size [all...] |
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
H A D | pairs.c | 244 PROTO {* int bdd_setpairs(bddPair *pair, int *oldvar, int *newvar, int size) 245 int bdd_setbddpairs(bddPair *pair, int *oldvar, BDD *newvar, int size) *} 247 being arrays of variables (BDDs) of size {\tt size}. *} 251 int bdd_setpairs(bddPair *pair, int *oldvar, int *newvar, int size) argument 257 for (n=0 ; n<size ; n++) 265 int bdd_setbddpairs(bddPair *pair, int *oldvar, BDD *newvar, int size) argument 271 for (n=0 ; n<size ; n++)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | bitmap.h | 60 POLYUNSIGNED CountSetBits(POLYUNSIGNED size) const;
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | cls_dbls_struct.c | 42 ts1_type.size = 0;
|
H A D | struct1.c | 40 ts1_type.size = 0;
|
H A D | struct1_win32.c | 40 ts1_type.size = 0;
|
H A D | struct2.c | 37 ts2_type.size = 0;
|
H A D | struct2_win32.c | 37 ts2_type.size = 0;
|
H A D | struct4.c | 38 ts4_type.size = 0;
|
H A D | struct5.c | 37 ts5_type.size = 0;
|
H A D | struct6.c | 37 ts6_type.size = 0;
|
H A D | struct7.c | 39 ts7_type.size = 0;
|
H A D | struct9.c | 38 ts9_type.size = 0;
|