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

/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h653 /* Define WORDS_BIGENDIAN to 1 if your processor stores words with the most
657 # define WORDS_BIGENDIAN 1 macro
660 # ifndef WORDS_BIGENDIAN
661 # undef WORDS_BIGENDIAN macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Drun_time.cpp404 #ifdef WORDS_BIGENDIAN
H A Dpoly_specific.cpp328 #ifdef WORDS_BIGENDIAN

Completed in 92 milliseconds