Lines Matching refs:rbx
53 REG_COMPARE(rbx); in compare_regs()
286 run->s.regs.regs.rbx = 0xBAD1DEA; in KVM_ONE_VCPU_TEST()
294 TEST_ASSERT(run->s.regs.regs.rbx == 0xBAD1DEA + 1, in KVM_ONE_VCPU_TEST()
296 run->s.regs.regs.rbx); in KVM_ONE_VCPU_TEST()
320 run->s.regs.regs.rbx = 0xDEADBEEF; in KVM_ONE_VCPU_TEST()
323 TEST_ASSERT(run->s.regs.regs.rbx != 0xDEADBEEF, in KVM_ONE_VCPU_TEST()
325 run->s.regs.regs.rbx); in KVM_ONE_VCPU_TEST()
344 run->s.regs.regs.rbx = 0xAAAA; in KVM_ONE_VCPU_TEST()
346 regs.rbx = 0xBAC0; in KVM_ONE_VCPU_TEST()
350 TEST_ASSERT(run->s.regs.regs.rbx == 0xAAAA, in KVM_ONE_VCPU_TEST()
352 run->s.regs.regs.rbx); in KVM_ONE_VCPU_TEST()
354 TEST_ASSERT(regs.rbx == 0xBAC0 + 1, in KVM_ONE_VCPU_TEST()
356 regs.rbx); in KVM_ONE_VCPU_TEST()
375 run->s.regs.regs.rbx = 0xBBBB; in KVM_ONE_VCPU_TEST()
378 TEST_ASSERT(run->s.regs.regs.rbx == 0xBBBB, in KVM_ONE_VCPU_TEST()
380 run->s.regs.regs.rbx); in KVM_ONE_VCPU_TEST()
382 TEST_ASSERT(regs.rbx == 0xBBBB + 1, in KVM_ONE_VCPU_TEST()
384 regs.rbx); in KVM_ONE_VCPU_TEST()