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

/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h385 #undef HAVE_SYS_IOCTL_H macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dbasicio.cpp74 #ifdef HAVE_SYS_IOCTL_H
H A Dwinbasicio.cpp67 #ifdef HAVE_SYS_IOCTL_H
H A Dunix_specific.cpp88 #ifdef HAVE_SYS_IOCTL_H
H A Dnetwork.cpp83 #ifdef HAVE_SYS_IOCTL_H

Completed in 65 milliseconds