batches           344 drivers/gpu/drm/v3d/v3d_sched.c 	u32 batches = V3D_CORE_READ(0, V3D_CSD_CURRENT_CFG4);
batches           349 drivers/gpu/drm/v3d/v3d_sched.c 	if (job->timedout_batches != batches) {
batches           350 drivers/gpu/drm/v3d/v3d_sched.c 		job->timedout_batches = batches;