pgcnt_t curr_page; ///< Current page loaded in disk buffer.
bool cache_dirty; ///< True if current cache is dirty (nneds to be flushed).
pgcnt_t curr_page; ///< Current page loaded in disk buffer.
bool cache_dirty; ///< True if current cache is dirty (nneds to be flushed).