Lines Matching refs:store_buffer_counter
360 int store_buffer_counter() { return store_buffer_counter_; }