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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S78 #define Arg_SaveRAX 0x38 define
116 movl Arg_SaveRAX(%ebp),%eax # Load the registers
129 movl %eax,Arg_SaveRAX(%ebp)
148 movl Arg_SaveRAX(%ebp),%eax # Load the registers
H A Dx86assembly_gas64.S88 #define Arg_SaveRAX 0x70 define
179 movq Arg_SaveRAX(%rbp),%rax
195 movq %rax,Arg_SaveRAX(%rbp)
252 movq Arg_SaveRAX(%rbp),%rax

Completed in 32 milliseconds