On Wed, May 06, 2020 at 07:10:31AM -0400, Paolo Bonzini wrote: > Ensure that the current value of DR6 is always available in vcpu->arch.dr6, > so that the get_dr6 callback can just access vcpu->arch.dr6 and becomes > redundant. > > Signed-off-by: Paolo Bonzini <pbonzini@xxxxxxxxxx> Reviewed-by: Peter Xu <peterx@xxxxxxxxxx> -- Peter Xu
