Lines Matching defs:rcx
773 uint64_t rcx, rdi, rsi, rflags;
790 error = vie_read_register(vcpu, VM_REG_GUEST_RCX, &rcx);
791 KASSERT(!error, ("%s: error %d getting rcx", __func__, error));
794 * The count register is %rcx, %ecx or %cx depending on the
797 if ((rcx & vie_size2mask(vie->addrsize)) == 0) {
927 rcx = rcx - 1;
929 rcx, vie->addrsize);
930 KASSERT(!error, ("%s: error %d updating rcx", __func__, error));
935 if ((rcx & vie_size2mask(vie->addrsize)) != 0)
951 uint64_t rcx, rdi, rflags;
957 error = vie_read_register(vcpu, VM_REG_GUEST_RCX, &rcx);
958 KASSERT(!error, ("%s: error %d getting rcx", __func__, error));
961 * The count register is %rcx, %ecx or %cx depending on the
964 if ((rcx & vie_size2mask(vie->addrsize)) == 0)
991 rcx = rcx - 1;
993 rcx, vie->addrsize);
994 KASSERT(!error, ("%s: error %d updating rcx", __func__, error));
999 if ((rcx & vie_size2mask(vie->addrsize)) != 0)