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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S82 #define Arg_SaveRSI 0x48 define
120 movl Arg_SaveRSI(%ebp),%esi
133 movl %esi,Arg_SaveRSI(%ebp)
152 movl Arg_SaveRSI(%ebp),%esi
H A Dx86assembly_gas64.S92 #define Arg_SaveRSI 0x90 define
170 movq Arg_SaveRSI(%rbp),%rsi
199 movq %rsi,Arg_SaveRSI(%rbp)
240 movq Arg_SaveRSI(%rbp),%rsi

Completed in 37 milliseconds