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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S78 #define Arg_SaveRBX 0x38 define
132 movl Arg_SaveRBX(%ebp),%ebx # Load the registers
145 movl %ebx,Arg_SaveRBX(%ebp)
H A Dx86assembly_gas64.S90 #define Arg_SaveRBX 0x70 define
176 movq Arg_SaveRBX(%rbp),%rbx
200 movq %rbx,Arg_SaveRBX(%rbp)

Completed in 83 milliseconds