Searched refs:Arg_ThreadId (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ | ||
H A D | x86assembly_gas32.S | 75 #define Arg_ThreadId 0x1c /* My thread id */ define |
H A D | x86assembly_gas64.S | 87 #define Arg_ThreadId 0x38 /* My thread id */ define |
Completed in 82 milliseconds