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