Searched refs:store_buffer_counter_ (Results 1 – 1 of 1) sorted by relevance
343 int store_buffer_counter() { return store_buffer_counter_; } in store_buffer_counter()345 store_buffer_counter_ = counter; in set_store_buffer_counter()658 int store_buffer_counter_; variable