dbgctl            199 arch/x86/include/asm/svm.h 	u64 dbgctl;
dbgctl           4211 arch/x86/kvm/svm.c 		msr_info->data = svm->vmcb->save.dbgctl;
dbgctl           4419 arch/x86/kvm/svm.c 		svm->vmcb->save.dbgctl = data;
dbgctl           4960 arch/x86/kvm/svm.c 	       "gpat:", save->g_pat, "dbgctl:", save->dbgctl);