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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S102 #define CALL_EXTRA(index) \ define
162 CALL_EXTRA(RETURN_HEAP_OVERFLOW)
165 CALL_EXTRA(RETURN_STACK_OVERFLOW)
168 CALL_EXTRA(RETURN_STACK_OVERFLOWEX)
186 CALL_EXTRA(RETURN_KILL_SELF)
189 CALL_EXTRA(RETURN_CALLBACK_RETURN)
192 CALL_EXTRA(RETURN_CALLBACK_EXCEPTION)
H A Dx86assembly_gas64.S132 #define CALL_EXTRA(index) \ define
238 CALL_EXTRA(RETURN_HEAP_OVERFLOW)
240 CALL_EXTRA(RETURN_STACK_OVERFLOW)
242 CALL_EXTRA(RETURN_STACK_OVERFLOWEX)
244 CALL_EXTRA(RETURN_RAISE_OVERFLOW)
262 CALL_EXTRA(RETURN_KILL_SELF)
265 CALL_EXTRA(RETURN_CALLBACK_RETURN)
268 CALL_EXTRA(RETURN_CALLBACK_EXCEPTION)
271 CALL_EXTRA(RETURN_HEAP_OVERFLOW)
274 CALL_EXTRA(RETURN_STACK_OVERFLO
[all...]
H A Dx86assembly_masm32.S151 CALL_EXTRA MACRO index macro
161 CALL_EXTRA RETURN_KILL_SELF
165 CALL_EXTRA RETURN_CALLBACK_RETURN
169 CALL_EXTRA RETURN_CALLBACK_EXCEPTION
186 CALL_EXTRA index
H A Dx86assembly_masm64.S101 CALL_EXTRA MACRO index macro
225 CALL_EXTRA RETURN_KILL_SELF
229 CALL_EXTRA RETURN_CALLBACK_RETURN
233 CALL_EXTRA RETURN_CALLBACK_EXCEPTION
249 CALL_EXTRA index

Completed in 27 milliseconds