Searched refs:SIZEOF_LONG (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h608 #define SIZEOF_LONG 4 macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Darb.cpp258 #if (SIZEOF_LONG == SIZEOF_POLYWORD)
455 #if (SIZEOF_LONG <= SIZEOF_POLYWORD)
H A Drealconv.cpp231 #if (SIZEOF_LONG == 8)

Completed in 70 milliseconds