Searched refs:host_debugctlmsr (Results 1 – 1 of 1) sorted by relevance
1036 unsigned long host_debugctlmsr; member3122 vmx->host_debugctlmsr = get_debugctlmsr(); in vmx_vcpu_load()10886 if (vmx->host_debugctlmsr) in vmx_vcpu_run()10887 update_debugctlmsr(vmx->host_debugctlmsr); in vmx_vcpu_run()
