Merge pull request #34 from rmalmain/syx_snapshot_fix

Fix of syx_snapshot_dirty_list_add_hostaddr_range
This commit is contained in:
Andrea Fioraldi 2023-11-24 18:00:53 +01:00 committed by GitHub
commit 9f6de425b8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -451,6 +451,11 @@ void syx_snapshot_dirty_list_add_hostaddr(void* host_addr)
void syx_snapshot_dirty_list_add_hostaddr_range(void* host_addr, uint64_t len)
{
// early check to know whether we should log the page access or not
if (!syx_snapshot_is_enabled()) {
return;
}
assert(len < INT64_MAX);
int64_t len_signed = (int64_t) len;