Searched defs:new_node (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/
H A Dalloc_lite.c119 struct mem_node *new_node = (struct mem_node *)(desired_end + 1); local
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dalloc.c102 struct mem_node *new_node = (struct mem_node *)(desired_end + 1); local
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DGraph.sml45 val new_node: key * 'a -> 'a T -> 'a T (*exn DUP*) value
200 fun new_node (x, info) (Graph tab) = function

Completed in 77 milliseconds