Searched refs:eval_reg (Results 1 – 1 of 1) sorted by relevance
62 uint64_t eval_reg; in test_one_reg() local64 vcpu_get_reg(vcpu, id, &eval_reg); in test_one_reg()65 TEST_ASSERT(eval_reg == value, "value == 0x%lx", value); in test_one_reg()