Searched refs:HAVE_MALLOC_H (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h193 #undef HAVE_MALLOC_H macro
194 #define HAVE_MALLOC_H 1 macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dbitmap.cpp48 #ifdef HAVE_MALLOC_H
H A Dgctaskfarm.cpp32 #ifdef HAVE_MALLOC_H
H A Dpolystring.cpp33 #ifdef HAVE_MALLOC_H
H A Dpolyffi.cpp52 #ifdef HAVE_MALLOC_H
H A Dprofiling.cpp36 #ifdef HAVE_MALLOC_H
H A Dbasicio.cpp92 #ifdef HAVE_MALLOC_H
H A Dwinbasicio.cpp85 #ifdef HAVE_MALLOC_H
H A Darb.cpp71 #ifdef HAVE_MALLOC_H

Completed in 68 milliseconds