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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S81 #define Arg_SaveRSI 0x44 define
135 movl Arg_SaveRSI(%ebp),%esi
148 movl %esi,Arg_SaveRSI(%ebp)
H A Dx86assembly_gas64.S93 #define Arg_SaveRSI 0x88 define
179 movq Arg_SaveRSI(%rbp),%rsi
203 movq %rsi,Arg_SaveRSI(%rbp)

Completed in 79 milliseconds