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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dx86assembly_gas64.S85 #define Arg_ThreadId 0x38 /* My thread id */ define
220 movq Arg_ThreadId(%rbp),%rcx
222 movq Arg_ThreadId(%rbp),%rdi
H A Dx86assembly_gas32.S75 #define Arg_ThreadId 0x1c /* My thread id */ define
140 pushl Arg_ThreadId(%ebp)

Completed in 31 milliseconds