size_t mc_page_number(const void* base, const void* address)
{
xbt_assert(address>=base, "The address is not in the range");
size_t mc_page_number(const void* base, const void* address)
{
xbt_assert(address>=base, "The address is not in the range");
static inline __attribute__ ((always_inline))
bool mc_same_page(const void* a, const void* b)
{
static inline __attribute__ ((always_inline))
bool mc_same_page(const void* a, const void* b)
{