Searched refs:SIZEOF_VOIDP (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h611 #undef SIZEOF_VOIDP macro
613 #define SIZEOF_VOIDP 8 macro
615 #define SIZEOF_VOIDP 4 macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dmachoexport.cpp127 #if (SIZEOF_VOIDP == 8)
241 #if (SIZEOF_VOIDP == 8)
257 #if (SIZEOF_VOIDP == 8)
280 #if (SIZEOF_VOIDP == 8)
303 #if (SIZEOF_VOIDP == 8)
435 #if (SIZEOF_VOIDP == 8)
452 #if (SIZEOF_VOIDP == 8)
H A Delfexport.h39 #if (SIZEOF_VOIDP == 8)
H A Dpecoffexport.cpp71 #if (SIZEOF_VOIDP == 8)
219 #if (SIZEOF_VOIDP == 8)
H A Dglobals.h78 #define SIZEOF_POLYWORD SIZEOF_VOIDP
108 # if (SIZEOF_VOIDP == 8)
H A Dscanaddrs.cpp255 #if (SIZEOF_VOIDP != 4)
H A Dmpoly.cpp203 #elif (SIZEOF_VOIDP == 4)
H A Drun_time.cpp388 WORDS(SIZEOF_VOIDP), F_BYTE_OBJ | F_WEAK_BIT | F_MUTABLE_BIT | F_NO_OVERWRITE);
H A Dpoly_specific.cpp158 #if (SIZEOF_VOIDP == 8)
H A Dquick_gc.cpp132 # if (SIZEOF_VOIDP == 8)
H A Dheapsizing.cpp130 #if (SIZEOF_VOIDP == 4)
H A Dbasicio.cpp1102 WORDS(SIZEOF_VOIDP), F_BYTE_OBJ | F_MUTABLE_BIT | F_NO_OVERWRITE);
H A Dinterpret.cpp74 #if (SIZEOF_VOIDP == 8 && !defined(POLYML32IN64))

Completed in 214 milliseconds