Toggle the memory attributes between private and shared when the memory is shared and unshared with host.
diff --git a/arm/kvm-cpu.c b/arm/kvm-cpu.c
index f416301..bac3b35 100644
--- a/arm/kvm-cpu.c
+++ b/arm/kvm-cpu.c
@@ -164,6 +164,7 @@
return true;
}
+ set_guest_memory_attributes(vcpu->kvm, gpa, PAGE_SIZE, 0);
map_guest_range(vcpu->kvm, gpa, PAGE_SIZE);
return true;
@@ -182,6 +183,7 @@
}
unmap_guest_range(vcpu->kvm, gpa, PAGE_SIZE);
+ set_guest_memory_attributes(vcpu->kvm, gpa, PAGE_SIZE, KVM_MEMORY_ATTRIBUTE_PRIVATE);
return true;
}
