Searched refs:arg32_token_v (Results 1 – 1 of 1) sorted by relevance
743 static uint32_t arg32_token_v = 0xabcdef00; variable751 arg32_token_v); in generate_arg32_token()763 arg32_token_v); in generate_arg32_record()