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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S89 #define RETURN_CALLBACK_EXCEPTION 7 define
192 CALL_EXTRA(RETURN_CALLBACK_EXCEPTION)
H A Dx86assembly_masm32.S72 RETURN_CALLBACK_EXCEPTION EQU 7 define
169 CALL_EXTRA RETURN_CALLBACK_EXCEPTION
H A Dx86assembly_gas64.S118 #define RETURN_CALLBACK_EXCEPTION 7 define
268 CALL_EXTRA(RETURN_CALLBACK_EXCEPTION)
H A Dx86_dep.cpp278 RETURN_CALLBACK_EXCEPTION = 7, enumerator in enum:RETURN_REASON
572 case RETURN_CALLBACK_EXCEPTION:
H A Dx86assembly_masm64.S91 RETURN_CALLBACK_EXCEPTION EQU 7 define
233 CALL_EXTRA RETURN_CALLBACK_EXCEPTION

Completed in 17 milliseconds