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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S79 #define Arg_SaveRCX 0x3c define
133 movl Arg_SaveRCX(%ebp),%ecx
146 movl %ecx,Arg_SaveRCX(%ebp)
H A Dx86assembly_gas64.S91 #define Arg_SaveRCX 0x78 define
177 movq Arg_SaveRCX(%rbp),%rcx
201 movq %rcx,Arg_SaveRCX(%rbp)

Completed in 33 milliseconds