Searched refs:host_debugctlmsr (Results 1 – 2 of 2) sorted by relevance
294 unsigned long host_debugctlmsr; member
1483 vmx->host_debugctlmsr = get_debugctlmsr(); in vmx_vcpu_load()6892 if (vmx->host_debugctlmsr) in vmx_vcpu_run()6893 update_debugctlmsr(vmx->host_debugctlmsr); in vmx_vcpu_run()