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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S77 #define Arg_SaveRAX 0x34 define
131 movl Arg_SaveRAX(%ebp),%eax # Load the registers
144 movl %eax,Arg_SaveRAX(%ebp)
H A Dx86assembly_gas64.S89 #define Arg_SaveRAX 0x68 define
175 movq Arg_SaveRAX(%rbp),%rax # Load the registers
199 movq %rax,Arg_SaveRAX(%rbp)

Completed in 14 milliseconds