host_debugctlmsr 1373 arch/x86/kvm/vmx/vmx.c 	vmx->host_debugctlmsr = get_debugctlmsr();
host_debugctlmsr 6596 arch/x86/kvm/vmx/vmx.c 	if (vmx->host_debugctlmsr)
host_debugctlmsr 6597 arch/x86/kvm/vmx/vmx.c 		update_debugctlmsr(vmx->host_debugctlmsr);
host_debugctlmsr  275 arch/x86/kvm/vmx/vmx.h 	unsigned long host_debugctlmsr;