Searched refs:host_debugctlmsr (Results 1 – 2 of 2) sorted by relevance
354 unsigned long host_debugctlmsr; member
1397 vmx->host_debugctlmsr = get_debugctlmsr(); in vmx_vcpu_load()7197 if (vmx->host_debugctlmsr) in vmx_vcpu_run()7198 update_debugctlmsr(vmx->host_debugctlmsr); in vmx_vcpu_run()