os_mremap_rw_shared
void *os_mremap_rw_shared(void *old_addr, size_t old_size, size_t new_size);
time_travel_shm = os_mremap_rw_shared(time_travel_shm,