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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dx86assembly_gas64.S102 #define Arg_SaveXMM1 0xe0 define
161 movsd Arg_SaveXMM1(%rbp),%xmm1
202 movsd %xmm1,Arg_SaveXMM1(%rbp)
231 movsd Arg_SaveXMM1(%rbp),%xmm1

Completed in 79 milliseconds