Searched refs:HAVE_STDARG_H (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-master/HOL4/polyml/libpolyml/ | ||
H A D | diagnostics.cpp | 43 #ifdef HAVE_STDARG_H |
H A D | mpoly.cpp | 40 #ifdef HAVE_STDARG_H |
/seL4-l4v-master/HOL4/polyml/ | ||
H A D | winconfig.h | 277 #undef HAVE_STDARG_H macro |
Completed in 45 milliseconds