V3D_PCTR_CYCLE_COUNT
int cycle_count_reg = V3D_PCTR_CYCLE_COUNT(v3d->ver);
V3D_PCTR_CYCLE_COUNT(v3d->ver));