| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | factorial.c | 27 void free(unsigned long *p) function
|
| H A D | kmalloc.c | 70 void free(void * address, word_t size) function
|
| /seL4-l4v-master/HOL4/src/num/theories/ |
| H A D | selftest.sml | 61 fun free s = "\^[[0;1;34m" ^ s ^ "\^[[0m" function
|
| /seL4-l4v-master/HOL4/examples/PSL/1.01/executable-semantics/ |
| H A D | test.v | 54 reg free; // Flag to say if BUF is free to receive new data register
[all...] |
| H A D | test_c.v | 51 reg free; // Flag to say if BUF is free to receive new data register
[all...] |
| H A D | test_c1.v | 55 reg free; // Flag to say if BUF is free to receive new data register
[all...] |
| H A D | test_c2.v | 51 reg free; // Flag to say if BUF is free to receive new data register
[all...] |
| H A D | test2.v | 64 reg free; // Flag to say if BUF is free to receive new data register
[all...] |
| /seL4-l4v-master/HOL4/src/monad/more_monads/ |
| H A D | selftest.sml | 40 fun free s = "\^[[0;1;34m" ^ s ^ "\^[[0m" function
[all...] |
| /seL4-l4v-master/l4v/tools/autocorres/tests/examples/ |
| H A D | kmalloc.c | 70 void free(void *address, word_t size) function
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | osmemwin.cpp | 101 uintptr_t free = pageMap.FindFree(0, lastAllocated, pages); local
138 uintptr_t free = pageMap.FindFree(0, lastAllocated, pages); local
[all...] |
| H A D | gc.cpp | 286 uintptr_t free = space->freeSpace(); local
|
| H A D | quick_gc.cpp | 670 uintptr_t free; local
[all...] |
| H A D | osmemunix.cpp | 235 uintptr_t free = pageMap.FindFree(0, lastAllocated, pages); local
284 uintptr_t free = pageMap.FindFree(0, lastAllocated, pages); local
[all...] |
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Proof.sml | 422 fun free th_inf = function
|
| H A D | Term.sml | 215 fun free _ [] = false function
223 fun free vs [] = vs function
[all...] |
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Proof.sml | 422 fun free th_inf = function
|
| H A D | Term.sml | 215 fun free _ [] = false function
223 fun free vs [] = vs function
[all...] |
| /seL4-l4v-master/l4v/misc/autostop/ |
| H A D | stop.c | 245 static void get_free_memory(unsigned long *total, unsigned long *free) argument
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | ForeignMemory.sml | 47 val free: voidStar -> unit value
231 fun free v = if v = null then () else ThreadLib.protect lock freeMem v function
[all...] |
| /seL4-l4v-master/HOL4/src/compute/src/ |
| H A D | clauses.sml | [all...] |
| /seL4-l4v-master/HOL4/examples/dev/sw2/ |
| H A D | regAlloc.sml | 111 let val free = fv cont value
|
| /seL4-l4v-master/HOL4/src/quotient/examples/sigma/ |
| H A D | liftScript.sml | 1136 val free = free_vars abs value
|
| /seL4-l4v-master/HOL4/examples/HolBdd/ |
| H A D | DerivedBddRules.sml | 92 val free = total - numsup value
|
| /seL4-l4v-master/HOL4/src/1/ |
| H A D | selftest.sml | 426 fun free s = "\^[[0;1;34m" ^ s ^ "\^[[0m" function
|