Function pushedPageCount

fdbserver/DiskQueue.actor.cpp:1554–1554

	}
	Page const& backPage() const { return ((Page*)pushed_page_buffer->get().end())[-1]; }
	int pushedPageCount() const { return pushed_page_buffer ? pushed_page_buffer->size() / sizeof(Page) : 0; }

	// Recovery state
	bool recovered;