Searched refs:counter_w1_offset (Results 1 – 1 of 1) sorted by relevance
1446 counter_w1_offset(void) in counter_w1_offset() function1473 stmt(IRStmt_Put(counter_w1_offset(), expr)); in put_counter_w1()1480 return IRExpr_Get(counter_w1_offset(), Ity_I32); in get_counter_w1()