Symbol: VMCS_GUEST_IA32_DR7
sys/arch/amd64/amd64/vmm_machdep.c
1115
if (vmread(VMCS_GUEST_IA32_DR7, &drs[VCPU_REGS_DR7]))
sys/arch/amd64/amd64/vmm_machdep.c
1395
if (vmwrite(VMCS_GUEST_IA32_DR7, drs[VCPU_REGS_DR7]))
sys/arch/amd64/amd64/vmm_machdep.c
8041
vmx_dump_vmcs_field(VMCS_GUEST_IA32_DR7, "G. DR7");