Searched defs:size (Results 201 - 225 of 248) sorted by relevance

12345678910

/seL4-l4v-10.1.1/HOL4/polyml/PolyPerf/
H A DPolyPerf.cpp483 static LPVOID allocBuffSpace(LPVOID * &lppData, LPDWORD &lpcbTotalBytes, DWORD &dwBytesAvailable, DWORD size) argument
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DActive.sml276 fun size (Active {clauses,...}) = IntMap.size clauses; function
H A DModel.sig13 type size = {size : int} type
208 val size : model -> int value
[all...]
H A DKeyMap.sml167 val size = treeSize left + 1 + treeSize right value
219 val size value
484 val size = size - 1 value
501 val size = size - 1 value
851 val size = size - 1 value
870 val size = size - 1 value
1049 fun size (Map tree) = treeSize tree; function
[all...]
H A DMap.sml159 val size = treeSize left + 1 + treeSize right value
211 val size value
476 val size = size - 1 value
493 val size = size - 1 value
843 val size = size - 1 value
862 val size = size - 1 value
1041 fun size (Map (_,tree)) = treeSize tree; function
[all...]
H A DRewrite.sml75 fun size (Rewrite {known,...}) = IntMap.size known; function
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A Dbootinfo_types.h126 uint32_t size; // size of this struct in bytes member in struct:seL4_X86_mb_mmap
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h126 uint32_t size; // size of this struct in bytes member in struct:seL4_X86_mb_mmap
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DWindow.sml248 val size = getTextCall(hwnd, buff, baseLen+1) value
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A DEnumType.sml364 val size = mk_size_definition TYPE value
/seL4-l4v-10.1.1/HOL4/src/datatype/record/
H A DRecordType.sml209 val size = length fields value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibClause.sml372 fun size (REWR (_,r)) = mlibRewrite.size r; function
H A DmlibClauseset.sml600 val size = ssize; value
[all...]
H A DmlibModel.sml209 let val {size = n, fix = r} = parm in {size = f n, fix = r} end; value
212 let val {size = n, fix = r} = parm in {size = n, fix = f r} end; value
308 val {size = n, fix = r} = parm value
660 val size = msize; value
[all...]
/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py323 def size (self): member in class:Type
[all...]
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddop.c2363 double size=1; local
2395 double size, s; local
2444 double size; local
2479 double size, s1,s2; local
2645 double size; local
[all...]
H A Dreorder.c84 int size; /* Size of this sub-table */ member in struct:_levelData
2142 int n, *v, size; local
[all...]
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c448 int size, i, *v; local
542 int size, i, *o, *n; local
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/Manual/Guide/
H A Dguide.tex
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A DConsole.cpp214 LRESULT size = SendMessage(hEditWnd, WM_GETTEXTLENGTH, 0, 0); local
H A Dunix_specific.cpp944 int size = get_C_long(taskData, DEREFHANDLE(args)->Get(1)); local
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DKeyMap.sml167 val size = treeSize left + 1 + treeSize right value
219 val size value
484 val size = size - 1 value
501 val size = size - 1 value
851 val size = size - 1 value
870 val size = size - 1 value
1049 fun size (Map tree) = treeSize tree; function
[all...]
H A DMap.sml159 val size = treeSize left + 1 + treeSize right value
211 val size value
476 val size = size - 1 value
493 val size = size - 1 value
843 val size = size - 1 value
862 val size = size - 1 value
1041 fun size (Map (_,tree)) = treeSize tree; function
[all...]
H A DRewrite.sml75 fun size (Rewrite {known,...}) = IntMap.size known; function
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Ddebug.c438 convertSizeToArch(word_t size) argument
553 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument
[all...]

Completed in 317 milliseconds

12345678910