Searched refs:host_debugctlmsr (Results 1 – 2 of 2) sorted by relevance
275 unsigned long host_debugctlmsr; member
1388 vmx->host_debugctlmsr = get_debugctlmsr(); in vmx_vcpu_load()6616 if (vmx->host_debugctlmsr) in vmx_vcpu_run()6617 update_debugctlmsr(vmx->host_debugctlmsr); in vmx_vcpu_run()