Searched refs:HAVE_WINDOWS_H (Results 1 - 17 of 17) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dtiming.h42 #ifdef HAVE_WINDOWS_H
91 #ifdef HAVE_WINDOWS_H
H A Dlocking.h33 #ifdef HAVE_WINDOWS_H
H A Dprocesses.h49 #ifdef HAVE_WINDOWS_H
67 #if defined(HAVE_WINDOWS_H)
178 #ifdef HAVE_WINDOWS_H
187 #ifdef HAVE_WINDOWS_H
H A Dprocesses.cpp81 #ifdef HAVE_WINDOWS_H
244 #ifdef HAVE_WINDOWS_H
316 #ifdef HAVE_WINDOWS_H /* Windows including Cygwin */
335 #ifdef HAVE_WINDOWS_H
785 #ifdef HAVE_WINDOWS_H
788 #ifdef HAVE_WINDOWS_H
798 #ifdef HAVE_WINDOWS_H
1178 #if defined(HAVE_WINDOWS_H)
1257 #ifdef HAVE_WINDOWS_H
1331 #if defined(HAVE_WINDOWS_H)
[all...]
H A Ddiagnostics.cpp55 #ifdef HAVE_WINDOWS_H
H A Dstatistics.h24 #ifdef HAVE_WINDOWS_H
H A Dheapsizing.cpp36 #ifdef HAVE_WINDOWS_H
83 #ifdef HAVE_WINDOWS_H
930 #if defined(HAVE_WINDOWS_H) // Windows including Cygwin
H A Dwinstartup.cpp35 #ifdef HAVE_WINDOWS_H
H A Derrors.cpp32 #ifdef HAVE_WINDOWS_H
H A Dwinguiconsole.cpp33 #ifdef HAVE_WINDOWS_H
H A Dstatistics.cpp28 #ifdef HAVE_WINDOWS_H
H A Dtiming.cpp92 #ifdef HAVE_WINDOWS_H
H A Dx86_dep.cpp606 // The tests for HAVE_UCONTEXT_T, HAVE_STRUCT_SIGCONTEXT and HAVE_WINDOWS_H need
608 #if defined(HAVE_WINDOWS_H)
H A Dnetwork.cpp123 #ifdef HAVE_WINDOWS_H
H A Dsavestate.cpp34 #ifdef HAVE_WINDOWS_H
/seL4-l4v-master/HOL4/polyml/
H A Dpolyexports.h48 #if defined(HAVE_WINDOWS_H)
H A Dwinconfig.h477 #undef HAVE_WINDOWS_H macro
478 #define HAVE_WINDOWS_H 1 macro

Completed in 88 milliseconds