Searched refs:RETURN_CALLBACK_RETURN (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S88 #define RETURN_CALLBACK_RETURN 6 define
189 CALL_EXTRA(RETURN_CALLBACK_RETURN)
H A Dx86assembly_masm32.S71 RETURN_CALLBACK_RETURN EQU 6 define
165 CALL_EXTRA RETURN_CALLBACK_RETURN
H A Dx86assembly_gas64.S117 #define RETURN_CALLBACK_RETURN 6 define
265 CALL_EXTRA(RETURN_CALLBACK_RETURN)
H A Dx86_dep.cpp277 RETURN_CALLBACK_RETURN = 6, enumerator in enum:RETURN_REASON
562 case RETURN_CALLBACK_RETURN:
H A Dx86assembly_masm64.S90 RETURN_CALLBACK_RETURN EQU 6 define
229 CALL_EXTRA RETURN_CALLBACK_RETURN

Completed in 26 milliseconds