Symbol: VMCS_GUEST_DR7
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2825
vmx_vmwrite(VMCS_GUEST_DR7, cpudata->drs[NVMM_X64_DR_DR7]);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2962
state->drs[NVMM_X64_DR_DR7] = vmx_vmread(VMCS_GUEST_DR7);