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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S87 #define RETURN_STACK_OVERFLOW 2 define
165 CALL_EXTRA(RETURN_STACK_OVERFLOW)
H A Dx86assembly_gas64.S114 #define RETURN_STACK_OVERFLOW 2 define
262 CALL_EXTRA(RETURN_STACK_OVERFLOW)
H A Dx86assembly_masm32.S70 RETURN_STACK_OVERFLOW EQU 2 define
168 CREATE_EXTRA_CALL RETURN_STACK_OVERFLOW
H A Dx86assembly_masm64.S88 RETURN_STACK_OVERFLOW EQU 2 define
243 CREATE_EXTRA_CALL RETURN_STACK_OVERFLOW
H A Dx86_dep.cpp289 RETURN_STACK_OVERFLOW = 2, enumerator in enum:RETURN_REASON
497 case RETURN_STACK_OVERFLOW:
502 if (assemblyInterface.returnReason == RETURN_STACK_OVERFLOW)

Completed in 30 milliseconds