Symbol: VMCS_GUEST_DR7
usr/src/uts/intel/io/vmm/intel/vmcs.c
69
return (VMCS_GUEST_DR7);
usr/src/uts/intel/io/vmm/intel/vmx.c
854
vmcs_write(VMCS_GUEST_DR7, DBREG_DR7_RESERVED1);