Searched refs:size (Results 201 - 225 of 926) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/
H A Dgetopts.scala18 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 DActive.sig31 val size : active -> int value
H A DProblem.sig17 val size : problem -> {clauses : int, value
H A DProblem.sml21 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 Ddebug.h145 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 DmlibClauseset.sml115 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 Ddlmalloc.c51 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 Djava_raw_api.c117 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 DTree.sml3 type size type
38 type size = int type
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DTree.sml3 type size type
38 type size = int type
/seL4-l4v-10.1.1/HOL4/src/opentheory/
H A DOpenTheoryCommon.sml6 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 Dutils-sig.sml54 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 Dx64_stepLib.sml195 (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 Dpairs.c244 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 Dbitmap.h60 POLYUNSIGNED CountSetBits(POLYUNSIGNED size) const;
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dcls_dbls_struct.c42 ts1_type.size = 0;
H A Dstruct1.c40 ts1_type.size = 0;
H A Dstruct1_win32.c40 ts1_type.size = 0;
H A Dstruct2.c37 ts2_type.size = 0;
H A Dstruct2_win32.c37 ts2_type.size = 0;
H A Dstruct4.c38 ts4_type.size = 0;
H A Dstruct5.c37 ts5_type.size = 0;
H A Dstruct6.c37 ts6_type.size = 0;
H A Dstruct7.c39 ts7_type.size = 0;
H A Dstruct9.c38 ts9_type.size = 0;

Completed in 142 milliseconds

1234567891011>>