| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | PIntMap.sml | 62 fun size Empty = 0 function
|
| H A D | UTF8.sml | 101 fun size s = let function
|
| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
| H A D | shrink.sml | 232 val size : (('a,'b) pairlist * 'c) list -> int = value
|
| H A D | utils-sig.sml | 54 val size : 'a table -> int value
69 val size : table -> int value
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
| H A D | slist.h | 40 int size(void) const { return len; } function in class:voidSList
182 int size(void) const { return voidSList::size(); } function in class:SList
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | arb.cpp | 337 unsigned size = numLimbs(DEREFWORD(x)); local
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/avr32/ |
| H A D | ffi.c | 239 unsigned int size = 0, i = 0; local
372 unsigned int i, size = 0; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/microblaze/ |
| H A D | ffi.c | 73 size_t size = (*p_arg)->size; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/or1k/ |
| H A D | ffi.c | 122 int size; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sh/ |
| H A D | ffi.c | 325 int size, type; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sh64/ |
| H A D | ffi.c | 159 int size, type; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/xtensa/ |
| H A D | ffi.c | 165 unsigned long size; local
[all...] |
| /seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
| H A D | GraphView.java | 27 Dimension size; field in class:GraphView
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Rewrite.sig | 43 val size : rewrite -> int value
|
| H A D | Subst.sml | 25 fun size (Subst m) = NameMap.size m; function
|
| /seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
| H A D | GraphView.java | 27 Dimension size; field in class:GraphView
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | ForeignConstants.sml | 32 val (size: word, align: word, _, _) = (* Just get the first two fields. *) value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Rewrite.sig | 43 val size : rewrite -> int value
|
| H A D | Subst.sml | 25 fun size (Subst m) = NameMap.size m; function
|
| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/ |
| H A D | sbi.h | 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/seL4/include/arch/x86/arch/kernel/ |
| H A D | multiboot2.h | 25 uint32_t size; member in struct:multiboot2_tag
30 uint64_t size; member in struct:multiboot2_memory
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv8-a/64/ |
| H A D | cache.c | 50 word_t size, csselr_old; local
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ |
| H A D | BitsN.sig | 90 val size: nbit -> Nat.nat value
|
| H A D | BitsN.sml | 14 fun size (B (_, s)) = s function
|
| H A D | FP64.sml | 20 val size = 8 * bytes value
|