regress/sys/arch/amd64/vmm/vcpu.c

57

.vrs_gprs[VCPU_REGS_RDX] = PCKBC_AUX, /* Port used by INS */

sys/arch/amd64/amd64/vmm_machdep.c

1031

gprs[VCPU_REGS_RDX] = vcpu->vc_gueststate.vg_rdx;

sys/arch/amd64/amd64/vmm_machdep.c

1156

gprs[VCPU_REGS_RDX] = vcpu->vc_gueststate.vg_rdx;

sys/arch/amd64/amd64/vmm_machdep.c

1311

vcpu->vc_gueststate.vg_rdx = gprs[VCPU_REGS_RDX];

sys/arch/amd64/amd64/vmm_machdep.c

1442

vcpu->vc_gueststate.vg_rdx = gprs[VCPU_REGS_RDX];

sys/arch/amd64/amd64/vmm_machdep.c

1723

vmsa->v_rdx = gprs[VCPU_REGS_RDX];

usr.sbin/vmd/x86_mmio.c

330

case VCPU_REGS_RDX: return "RDX";

usr.sbin/vmd/x86_mmio.c

526

insn->insn_reg = VCPU_REGS_RDX;

usr.sbin/vmd/x86_mmio.c

574

addr = vrs->vrs_gprs[VCPU_REGS_RDX];

usr.sbin/vmd/x86_vm.c

470

vei->vrs.vrs_gprs[VCPU_REGS_RDX],