KVM_DEBUGREG_RELOAD 1075 arch/x86/kvm/x86.c 		vcpu->arch.switch_db_regs |= KVM_DEBUGREG_RELOAD;
KVM_DEBUGREG_RELOAD 8250 arch/x86/kvm/x86.c 		vcpu->arch.switch_db_regs &= ~KVM_DEBUGREG_RELOAD;
KVM_DEBUGREG_RELOAD 8267 arch/x86/kvm/x86.c 		vcpu->arch.switch_db_regs &= ~KVM_DEBUGREG_RELOAD;