Searched refs:HAVE_FCNTL_H (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h83 #undef HAVE_FCNTL_H macro
84 #define HAVE_FCNTL_H 1 macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dlocking.cpp61 #ifdef HAVE_FCNTL_H
H A Dwinstartup.cpp48 #ifdef HAVE_FCNTL_H
H A Dosmemunix.cpp67 #ifdef HAVE_FCNTL_H
H A Dwinguiconsole.cpp46 #ifdef HAVE_FCNTL_H
H A Dwindows_specific.cpp43 #ifdef HAVE_FCNTL_H
H A Dstatistics.cpp48 #ifdef HAVE_FCNTL_H
H A Dbasicio.cpp41 #ifdef HAVE_FCNTL_H
H A Dwinbasicio.cpp34 #ifdef HAVE_FCNTL_H
H A Dunix_specific.cpp64 #ifdef HAVE_FCNTL_H
H A Dxwindows.cpp139 #ifdef HAVE_FCNTL_H

Completed in 106 milliseconds