Searched refs:counter_w0_offset (Results 1 – 1 of 1) sorted by relevance
1439 counter_w0_offset(void) in counter_w0_offset() function1457 stmt(IRStmt_Put(counter_w0_offset(), expr)); in put_counter_w0()1464 return IRExpr_Get(counter_w0_offset(), Ity_I32); in get_counter_w0()