| /seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/tamarack2/ |
| H A D | proof3.ml | 46 let prev = (REV_TimeOfCycle t n mem pc acc) in var
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
| H A D | hashtbl.cxx | 89 int prev = -1; local
|
| H A D | slist.h | 201 voidSListElem *prev=NULL, *next=voidSList::head; local
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bddtree.h | 48 struct s_BddTree *next, *prev; member in struct:s_BddTree
|
| H A D | tree.c | 92 BddTree *bddtree_addrange_rec(BddTree *t, BddTree *prev, argument
[all...] |
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
| H A D | list.c | 22 struct node *prev = 0, *cur = list; local
|
| H A D | alloc.c | 74 struct mem_node *prev = heap->head; local
135 struct mem_node *prev = heap->head; local
[all...] |
| H A D | kmalloc.c | 76 word_t* prev, *curr; local
100 word_t* prev, *curr; local
125 word_t* prev; local
168 word_t* prev; local
[all...] |
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/model/ |
| H A D | smp.h | 27 try_arch_atomic_exchange(void* ptr, void *new_val, void **prev, int success_memorder, int failure_memorder) argument
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/model/ |
| H A D | smp.h | 47 try_arch_atomic_exchange(void *ptr, void *new_val, void **prev, int success_memorder, int failure_memorder) argument
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/ |
| H A D | alloc_lite.c | 93 struct mem_node *prev = heap->head; local
164 struct mem_node *prev = heap->head; local
[all...] |
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | kmalloc.c | 76 word_t* prev, *curr; local
100 word_t* prev, *curr; local
125 word_t* prev; local
168 word_t* prev; local
[all...] |
| /seL4-l4v-10.1.1/seL4/include/smp/ |
| H A D | lock.h | 72 clh_qnode_t *prev; local
93 clh_qnode_t *prev; local
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/acl2/ |
| H A D | m1_progLib.sml | 57 val prev = ref (TRUTH,TRUTH); value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arm/ |
| H A D | ffi.c | 562 ffi_trampoline_table *prev; member in struct:ffi_trampoline_table
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
| H A D | CODETREE_STATIC_LINK_AND_CASES.sml | 696 fun prev (closureAddr, closure) = function
|
| /seL4-l4v-10.1.1/seL4/src/object/ |
| H A D | cnode.c | 581 cte_t *prev, *next; local
869 cte_t *prev; local
|
| /seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
| H A D | muCheck.sml | 868 then let val prev = if gfp value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
| H A D | TYPECHECK_PARSETREE.sml | 1259 val prev = value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
| H A D | dlmalloc.c | 4288 mchunkptr prev = chunk_minus_offset(p, prevsize); local
4689 mchunkptr prev = chunk_minus_offset(p, prevsize); local
|