Searched refs:Arg_ReturnReason (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S72 #define Arg_ReturnReason 0x16 /* Byte: Reason for returning from ML. */ define
104 movb $index,Arg_ReturnReason(%ebp); \
H A Dx86assembly_gas64.S84 #define Arg_ReturnReason 0x2a /* Byte: Reason for returning from ML. */ define
134 movb $index,Arg_ReturnReason(%rbp); \

Completed in 21 milliseconds