/seL4-l4v-10.1.1/HOL4/polyml/PolyPerf/ |
H A D | PolyPerf.cpp | 483 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 D | Active.sml | 276 fun size (Active {clauses,...}) = IntMap.size clauses; function
|
H A D | Model.sig | 13 type size = {size : int} type 208 val size : model -> int value [all...] |
H A D | KeyMap.sml | 167 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 D | Map.sml | 159 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 D | Rewrite.sml | 75 fun size (Rewrite {known,...}) = IntMap.size known; function
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/ |
H A D | bootinfo_types.h | 126 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 D | bootinfo_types.h | 126 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 D | Window.sml | 248 val size = getTextCall(hwnd, buff, baseLen+1) value
|
/seL4-l4v-10.1.1/HOL4/src/datatype/ |
H A D | EnumType.sml | 364 val size = mk_size_definition TYPE value
|
/seL4-l4v-10.1.1/HOL4/src/datatype/record/ |
H A D | RecordType.sml | 209 val size = length fields value
|
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibClause.sml | 372 fun size (REWR (_,r)) = mlibRewrite.size r; function
|
H A D | mlibClauseset.sml | 600 val size = ssize; value [all...] |
H A D | mlibModel.sml | 209 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 D | syntax.py | 323 def size (self): member in class:Type [all...] |
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
H A D | bddop.c | 2363 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 D | reorder.c | 84 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 D | muddy.c | 448 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 D | guide.tex | |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | Console.cpp | 214 LRESULT size = SendMessage(hEditWnd, WM_GETTEXTLENGTH, 0, 0); local
|
H A D | unix_specific.cpp | 944 int size = get_C_long(taskData, DEREFHANDLE(args)->Get(1)); local
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | KeyMap.sml | 167 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 D | Map.sml | 159 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 D | Rewrite.sml | 75 fun size (Rewrite {known,...}) = IntMap.size known; function
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/ |
H A D | debug.c | 438 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...] |