VM_REG_GUEST_RDX
tss->tss_edx = GETREG(vcpu, VM_REG_GUEST_RDX);
SETREG(vcpu, VM_REG_GUEST_RDX, tss->tss_edx);
error = vm_set_register(vcpu, VM_REG_GUEST_RDX, edx);
{ .id = VM_REG_GUEST_RDX, .size = 8 },
error = vm_get_register(vcpu, VM_REG_GUEST_RDX, &rdx);
VM_REG_GUEST_RDX, /* KDIREG_RDX */
if ((error = vm_set_register(vcpu, VM_REG_GUEST_RDX, rdx)) != 0)
case VM_REG_GUEST_RDX:
case VM_REG_GUEST_RDX:
VERIFY0(vm_set_register(vm, vcpuid, VM_REG_GUEST_RDX,
VERIFY0(vm_set_register(vm, vcpuid, VM_REG_GUEST_RDX, 0x600));
VM_REG_GUEST_RDX,