Searched refs:size (Results 76 - 100 of 926) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DStringChar.sml34 val size = FixedInt.toInt o size value
44 val size = FixedInt.toInt o size value
57 val size: string -> int = String.size; value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dholpathdb.sml12 "$(" ^ vnm ^ ")/" ^ String.extract(p, size p0 + 1, NONE)
16 NONE => SOME (size p, split vnm p path)
17 | SOME (sz', p') => if size p > sz' then
18 SOME (size p, split vnm p path)
36 if size modPath > 0 andalso String.sub(modPath, 0) = #"$" then
37 if size modPath < 2 orelse String.sub(modPath, 1) <> #"(" then
45 if Substring.size rest = 0 then
87 val sz = size s - 1
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dhashtbl.h49 int size, freepos; member in class:hashTable
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Ddiagnostics.cpp186 // Log the size of a space as a comprehensible number
189 POLYUNSIGNED size = wordSize * sizeof(PolyWord); local
190 if (size < 10*1024)
191 Log("%" POLYUFMT, size);
194 double s = (double)size;
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/bfin/
H A Dffi.c64 * This function calculates the return type (size) based on type.
97 if (cif->rtype->size <= 4){
99 }else if (cif->rtype->size == 8){
156 z = (*p_arg)->size;
179 memcpy(argp, *p_argv, (*p_arg)->size);
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dbreakpoint.c204 /** Converts an integer size number into an equivalent hardware register value.
207 * @param size An integer for the operand size of the breakpoint.
211 convertSizeToArch(uint16_t bp_num, word_t type, word_t size) argument
218 size = 0;
220 switch (size) {
222 size = X86_DEBUG_BP_SIZE_1B;
225 size = X86_DEBUG_BP_SIZE_2B;
228 size = X86_DEBUG_BP_SIZE_8B;
231 assert(size
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/muddy/muddyC/
H A Dmuddy.c448 int size, i, *v; local
451 size = Wosize_val(varvector);
455 v = (int *) stat_alloc(sizeof(int) * size);
456 for (i=0; i<size; i++) {
461 result = mlbdd_make(bdd_makeset(v, size));
542 int size, i, *o, *n; local
546 size = Wosize_val(oldvar);
550 o = (int *) stat_alloc(sizeof(int) * size);
551 n = (int *) stat_alloc(sizeof(int) * size);
553 for (i=0; i<size;
576 int size, i, *o, *n; local
704 int size, i, *v,k; local
788 int size, i, *v; local
813 int size, i, *o, *n; local
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A Dinline.sig7 val size : term -> int value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/
H A DassemblerLib.sml20 if Substring.size s = 0
31 else if Substring.size r = 0
56 | dropLastChar s = String.substring (s, 0, String.size s - 1)
58 fun hex w = StringCvt.padLeft #"0" (Nat.toNativeInt (BitsN.size w) div 4)
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibHeap.sig16 val size : 'a heap -> int value
H A DmlibPatricia.sml56 fun size Empty = 0 function
57 | size (Leaf _) = 1
58 | size (Branch(_, _, _, _, sz)) = sz
62 val sz = size t0 + size t1
91 | (p,m,t0,t1) => Branch (p,m,t0,t1,size t0 + size t1)
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DUTF8.sig7 val size : string -> int value
/seL4-l4v-10.1.1/HOL4/examples/HolBdd/
H A DVarmap.sig4 val size : varmap -> int value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DHeap.sig21 val size : 'a heap -> int value
H A DLiteralNet.sml28 fun pos ({positive,...} : 'a literalNet) = AtomNet.size positive;
30 fun neg ({negative,...} : 'a literalNet) = AtomNet.size negative;
32 fun size net = pos net + neg net; function
48 fun toString net = "LiteralNet[" ^ Int.toString (size net) ^ "]";
/seL4-l4v-10.1.1/l4v/tools/c-parser/
H A DStrictC.lex95 mk_ident Tokens.TYPEID (s, getPos(src,l), getPos(src, l + size s - 1))
100 mk_ident Tokens.ID (s, getPos(src,l), getPos(src, l + size s - 1)))
151 <INITIAL,TSI>"," => (tok(Tokens.YCOMMA,source,yypos,yypos+size yytext-1));
153 tok(Tokens.YCOMMA,source,yypos,yypos+size yytext-1));
154 <INITIAL,TSI>"(" => (tok(Tokens.LPAREN,source,yypos,yypos+size yytext-1));
156 tok(Tokens.LPAREN,source,yypos,yypos+size yytext-1));
157 <INITIAL,TSI>")" => (tok(Tokens.RPAREN,source,yypos,yypos+size yytext-1));
159 tok(Tokens.RPAREN,source,yypos,yypos+size yytext-1));
162 tok(Tokens.LCURLY,source,yypos,yypos+size yytext-1));
164 tok(Tokens.LCURLY,source,yypos,yypos+size yytex
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DHeap.sig21 val size : 'a heap -> int value
H A DLiteralNet.sml28 fun pos ({positive,...} : 'a literalNet) = AtomNet.size positive;
30 fun neg ({negative,...} : 'a literalNet) = AtomNet.size negative;
32 fun size net = pos net + neg net; function
48 fun toString net = "LiteralNet[" ^ Int.toString (size net) ^ "]";
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/
H A Dsbi.h104 unsigned long size)
111 unsigned long size,
102 sbi_remote_sfence_vma(const unsigned long *hart_mask, unsigned long start, unsigned long size) argument
109 sbi_remote_sfence_vma_asid(const unsigned long *hart_mask, unsigned long start, unsigned long size, unsigned long asid) argument
/seL4-l4v-10.1.1/HOL4/src/TeX/
H A Dmunger.lex17 fun inside s = substring(s, 1, size s - 2)
41 acc := String.concat(List.tabulate(size s, (fn _ => spacing))) :: !acc
75 val argoffset = size prebrace + 1
77 val opstring = if size optsfx = 0 then ""
94 cpos := !cpos + size yytext;
102 cpos := !cpos + size yytext;
110 cpos := !cpos + size yytext;
H A Dholindex.lex9 (f text, ((pos - !linestart_pos) - String.size text, line),
13 (((pos - !linestart_pos) - String.size text, line),
105 ( STRING (mkTok (fn s => (substring (s, 2, (String.size s)-4))) yytext yypos (!yylineno)) );
107 ( STRING (mkTok (fn s => (substring (s, 2, (String.size s)-4))) yytext yypos (!yylineno)) );
109 ( STRING (mkTok (fn s => (substring (s, 1, (String.size s)-2))) yytext yypos (!yylineno)) );
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sh/
H A Dffi.c83 if (arg->size <= 2 * sizeof (int))
145 z = (*p_arg)->size;
234 z = (*p_arg)->size;
325 int size, type; local
361 size = (cif->arg_types)[i]->size;
362 n = (size + sizeof (int) - 1) / sizeof (int);
374 size = (cif->arg_types)[i]->size;
375 n = (size
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arm/
H A Dffi.c74 register size_t z = (*p_arg)->size;
97 memcpy(argp, *p_argv, (*p_arg)->size);
200 size_t size = (*p_arg)->size; local
201 size = (size < 4)? 4 : size; // pad
204 if(tregp + size <= eo_regp)
264 else if (cif->rtype->size <= 4)
268 /* A Composite Type larger than 4 bytes, or whose size canno
655 ffi_closure_alloc(size_t size, void **code) argument
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Draw_api.c49 result += ALIGN ((*at)->size, FFI_SIZEOF_ARG);
101 raw += ALIGN ((*tp)->size, FFI_SIZEOF_ARG) / FFI_SIZEOF_ARG;
126 raw += ALIGN ((*tp)->size, sizeof (void*)) / sizeof (void*);
188 memcpy ((void*) raw->data, (void*)*args, (*tp)->size);
189 raw += ALIGN ((*tp)->size, FFI_SIZEOF_ARG) / FFI_SIZEOF_ARG;
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DMLstring.sml5 fun numread s i base basestring size = let
6 val digits = String.substring(s,i,size)
7 fun read i = if i < size then SOME(String.sub(digits,i), i + 1)
10 val error = "Illegal "^Int.toString size^"-digit "^
15 if pos <> size then raise stringerror(i + 1, error)

Completed in 426 milliseconds

1234567891011>>