Searched refs:SYMBOLS_REQUIRE_UNDERSCORE (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h634 #undef SYMBOLS_REQUIRE_UNDERSCORE macro
636 # undef SYMBOLS_REQUIRE_UNDERSCORE macro
638 # define SYMBOLS_REQUIRE_UNDERSCORE 1 macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S41 #ifdef SYMBOLS_REQUIRE_UNDERSCORE
H A Dx86assembly_gas64.S49 #ifdef SYMBOLS_REQUIRE_UNDERSCORE
H A Dpecoffexport.cpp121 #ifdef SYMBOLS_REQUIRE_UNDERSCORE

Completed in 94 milliseconds