CVAL_MAX
uinfo->value.integer.max = CVAL_MAX;
if (val[0] > CVAL_MAX || val[1] > CVAL_MAX)
if (val[0] > CVAL_MAX || val[1] > CVAL_MAX)
CVAL_MAX = GENMASK_ULL(width - 1, 0);
DEF_CNT = CVAL_MAX / 2;
static uint64_t CVAL_MAX;
GUEST_ASSERT(timer_get_cval(timer) >= (CVAL_MAX - msec_to_cycles(test_args.wait_ms)));
test_set_cnt_after_cval(timer, CVAL_MAX, 1, 2, wm);
sync_global_to_guest(*vm, CVAL_MAX);