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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S67 #define Arg_HandlerRegister 0x4 define
179 movl Arg_HandlerRegister(%ebp),%ecx # Get next handler into %rcx
H A Dx86assembly_gas64.S79 #define Arg_HandlerRegister 0x8 define
193 movq Arg_HandlerRegister(%rbp),%rcx # Get next handler into %rcx
256 movq Arg_HandlerRegister(%rbp),%rcx # Get next handler into %rcx

Completed in 29 milliseconds