Searched refs:host_debugctl (Results 1 – 4 of 4) sorted by relevance
66 uint64_t host_debugctl; member
1936 gctx->host_debugctl = rdmsr(MSR_DEBUGCTLMSR); in svm_dr_enter_guest()1980 wrmsr(MSR_DEBUGCTLMSR, gctx->host_debugctl); in svm_dr_leave_guest()2515 SNAPSHOT_VAR_OR_LEAVE(vcpu->swctx.host_debugctl, meta, ret, in svm_snapshot()
74 uint64_t host_debugctl; member
2885 vmxctx->host_debugctl = rdmsr(MSR_DEBUGCTLMSR); in vmx_dr_enter_guest()2940 wrmsr(MSR_DEBUGCTLMSR, vmxctx->host_debugctl); in vmx_dr_leave_guest()