Searched refs:HAVE_STDDEF_H (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dpolyexports.h44 #ifdef HAVE_STDDEF_H
H A Dwinconfig.h283 #undef HAVE_STDDEF_H macro
284 #define HAVE_STDDEF_H 1 macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dpecoffexport.cpp32 #ifdef HAVE_STDDEF_H
H A Dglobals.h61 #ifdef HAVE_STDDEF_H
H A Dmachoexport.cpp31 #ifdef HAVE_STDDEF_H
H A Delfexport.cpp31 #ifdef HAVE_STDDEF_H

Completed in 90 milliseconds