#include "mc_forward.h"
#include "ModelChecker.hpp"
-#include "mc_page_store.h"
+#include "PageStore.hpp"
#include "mc_mmalloc.h"
#include "mc_address_space.h"
#include "mc_unw.h"
{
size_t pageno = mc_page_number(region->start_addr, (void*) addr);
size_t snapshot_pageno = region->chunked.page_numbers[pageno];
- const void* snapshot_page = mc_page_store_get_page(
- &mc_model_checker->page_store(), snapshot_pageno);
+ const void* snapshot_page =
+ mc_model_checker->page_store().get_page(snapshot_pageno);
return (char*) snapshot_page + mc_page_offset((void*) addr);
}
typedef struct s_mc_global_t {
mc_snapshot_t snapshot;
- int raw_mem_set;
int prev_pair;
char *prev_req;
int initial_communications_pattern_done;