Home
last modified time | relevance | path

Searched refs:host_debugctl (Results 1 – 4 of 4) sorted by relevance

/freebsd/sys/amd64/vmm/amd/
H A Dsvm.h65 uint64_t host_debugctl; member
H A Dsvm.c2057 gctx->host_debugctl = rdmsr(MSR_DEBUGCTLMSR); in svm_dr_enter_guest()
2101 wrmsr(MSR_DEBUGCTLMSR, gctx->host_debugctl); in svm_dr_leave_guest()
/freebsd/sys/amd64/vmm/intel/
H A Dvmx.h77 uint64_t host_debugctl; member
H A Dvmx.c2950 vmxctx->host_debugctl = rdmsr(MSR_DEBUGCTLMSR); in vmx_dr_enter_guest()
3005 wrmsr(MSR_DEBUGCTLMSR, vmxctx->host_debugctl); in vmx_dr_leave_guest()