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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S80 #define Arg_SaveRDX 0x40 define
134 movl Arg_SaveRDX(%ebp),%edx
147 movl %edx,Arg_SaveRDX(%ebp)
H A Dx86assembly_gas64.S92 #define Arg_SaveRDX 0x80 define
178 movq Arg_SaveRDX(%rbp),%rdx
202 movq %rdx,Arg_SaveRDX(%rbp)

Completed in 11 milliseconds