On 04/02/2016 00:32, Nadav Amit wrote: > Sorry for spamming. The correct fix appears to reload the DRs (set > KVM_DEBUGREG_RELOAD) in kvm_arch_vcpu_load .
Yup, that was my intended thing to test, but unfortunately I'm travelling and doing all the testing on the laptop is a bit hard. Thanks Nadav!!! Paolo