uint64_t hash = mc_hash_page(page);
page_set_type& page_set = this->hash_index_[hash];
BOOST_FOREACH (size_t pageno, page_set) {
const void* snapshot_page = this->get_page(pageno);
if (memcmp(page, snapshot_page, xbt_pagesize) == 0) {
uint64_t hash = mc_hash_page(page);
page_set_type& page_set = this->hash_index_[hash];
BOOST_FOREACH (size_t pageno, page_set) {
const void* snapshot_page = this->get_page(pageno);
if (memcmp(page, snapshot_page, xbt_pagesize) == 0) {