get64
u64 (*get64)(struct xe_gt *, unsigned int),
xe_gt_assert(gt, get32 || get64);
(get64 && (!!get64(gt, VFID(n)) == provisioned)))
state_time = get64(&state->state_entry_time);
} while (get64(&state->state_entry_time) != state_time ||
u64 first = get64();
u64 last = get64();
buf_addr = get64(dde_list[i], ddead);