Searched refs:_ALLOC_H_ (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dalloc.h11 #ifndef _ALLOC_H_
12 #define _ALLOC_H_ macro
57 #endif /* _ALLOC_H_ */
/seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/
H A Dalloc_lite.h11 #ifndef _ALLOC_H_
12 #define _ALLOC_H_ macro
61 #endif /* _ALLOC_H_ */

Completed in 82 milliseconds