size_t bytesize = sizeof(uint64_t) * page_count;
off_t offset = sizeof(uint64_t) * page_start;
if (pread_whole(mc_model_checker->fd_pagemap, pagemap, bytesize, offset) != bytesize) {
size_t bytesize = sizeof(uint64_t) * page_count;
off_t offset = sizeof(uint64_t) * page_start;
if (pread_whole(mc_model_checker->fd_pagemap, pagemap, bytesize, offset) != bytesize) {