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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S79 #define Arg_SaveRBX 0x3c define
117 movl Arg_SaveRBX(%ebp),%ebx # Load the registers
130 movl %ebx,Arg_SaveRBX(%ebp)
149 movl Arg_SaveRBX(%ebp),%ebx # Load the registers
H A Dx86assembly_gas64.S89 #define Arg_SaveRBX 0x78 define
167 movq Arg_SaveRBX(%rbp),%rbx
196 movq %rbx,Arg_SaveRBX(%rbp)
237 movq Arg_SaveRBX(%rbp),%rbx

Completed in 41 milliseconds