Searched refs:HAVE_SYS_SELECT_H (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h401 #undef HAVE_SYS_SELECT_H macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dbasicio.cpp89 #ifdef HAVE_SYS_SELECT_H
H A Dwinbasicio.cpp82 #ifdef HAVE_SYS_SELECT_H
H A Dprocesses.cpp77 #ifdef HAVE_SYS_SELECT_H
H A Dnetwork.cpp99 #ifdef HAVE_SYS_SELECT_H

Completed in 122 milliseconds