Searched refs:vg_dr6 (Results 1 – 2 of 2) sorted by relevance
783 uint64_t vg_dr6; /* 0xc0 */ member
1139 drs[VCPU_REGS_DR6] = vcpu->vc_gueststate.vg_dr6; in vcpu_readregs_vmx()1419 vcpu->vc_gueststate.vg_dr6 = drs[VCPU_REGS_DR6]; in vcpu_writeregs_vmx()