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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S100 #define CALL_EXTRA(index) \ define
162 CALL_EXTRA(RETURN_HEAP_OVERFLOW)
165 CALL_EXTRA(RETURN_STACK_OVERFLOW)
168 CALL_EXTRA(RETURN_STACK_OVERFLOWEX)
H A Dx86assembly_gas64.S128 #define CALL_EXTRA(index) \ define
259 CALL_EXTRA(RETURN_HEAP_OVERFLOW)
262 CALL_EXTRA(RETURN_STACK_OVERFLOW)
265 CALL_EXTRA(RETURN_STACK_OVERFLOWEX)
H A Dx86assembly_masm32.S143 CALL_EXTRA MACRO index macro
163 CALL_EXTRA index
H A Dx86assembly_masm64.S99 CALL_EXTRA MACRO index macro
239 CALL_EXTRA index

Completed in 68 milliseconds