/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/ |
H A D | StringChar.sml | 34 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 D | holpathdb.sml | 12 "$(" ^ 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 D | hashtbl.h | 49 int size, freepos; member in class:hashTable
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | diagnostics.cpp | 186 // 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 D | ffi.c | 64 * 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 D | breakpoint.c | 204 /** 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 D | muddy.c | 448 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 D | inline.sig | 7 val size : term -> int value
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ |
H A D | assemblerLib.sml | 20 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 D | mlibHeap.sig | 16 val size : 'a heap -> int value
|
H A D | mlibPatricia.sml | 56 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 D | UTF8.sig | 7 val size : string -> int value
|
/seL4-l4v-10.1.1/HOL4/examples/HolBdd/ |
H A D | Varmap.sig | 4 val size : varmap -> int value
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Heap.sig | 21 val size : 'a heap -> int value
|
H A D | LiteralNet.sml | 28 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 D | StrictC.lex | 95 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 D | Heap.sig | 21 val size : 'a heap -> int value
|
H A D | LiteralNet.sml | 28 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 D | sbi.h | 104 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 D | munger.lex | 17 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 D | holindex.lex | 9 (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 D | ffi.c | 83 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 D | ffi.c | 74 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 D | raw_api.c | 49 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 D | MLstring.sml | 5 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)
|