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

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

Completed in 118 milliseconds