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

/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h172 #undef HAVE_LIMITS_H macro
173 #define HAVE_LIMITS_H 1 macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dtiming.cpp77 #ifdef HAVE_LIMITS_H
H A Dprocesses.cpp46 #ifdef HAVE_LIMITS_H
H A Dunix_specific.cpp60 #ifdef HAVE_LIMITS_H
H A Dnetwork.cpp107 #ifdef HAVE_LIMITS_H

Completed in 101 milliseconds