VM_REG_GUEST_RCX
tss->tss_ecx = GETREG(vcpu, VM_REG_GUEST_RCX);
SETREG(vcpu, VM_REG_GUEST_RCX, tss->tss_ecx);
{ .id = VM_REG_GUEST_RCX, .size = 8 },
error = vm_get_register(vcpu, VM_REG_GUEST_RCX, &rcx);
VM_REG_GUEST_RCX, /* KDIREG_RCX */
if ((error = vm_set_register(vcpu, VM_REG_GUEST_RCX, zero)) != 0)
if (vm_get_register(vcpu, VM_REG_GUEST_RCX, &rcx) != 0) {
case VM_REG_GUEST_RCX:
case VM_REG_GUEST_RCX:
VM_REG_GUEST_RCX,
error = vm_get_register(vm, vcpuid, VM_REG_GUEST_RCX, &rcx);
error = vie_update_register(vm, vcpuid, VM_REG_GUEST_RCX,
error = vm_get_register(vm, vcpuid, VM_REG_GUEST_RCX, &rcx);
error = vie_update_register(vm, vcpuid, VM_REG_GUEST_RCX,
err = vm_get_register(vm, vcpuid, VM_REG_GUEST_RCX, &count);
err = vie_update_register(vm, vcpuid, VM_REG_GUEST_RCX,
VM_REG_GUEST_RCX,