diff --git a/repos/os/src/drivers/gpu/intel/ring_buffer.h b/repos/os/src/drivers/gpu/intel/ring_buffer.h index e835ad9425..5f9ffefeb5 100644 --- a/repos/os/src/drivers/gpu/intel/ring_buffer.h +++ b/repos/os/src/drivers/gpu/intel/ring_buffer.h @@ -112,7 +112,7 @@ class Igd::Ring_buffer _dwords[index] = cmd.value; _tail++; - if (_tail > _max) { + if (_tail >= _max) { Genode::warning("ring buffer wrapped ", "_tail: ", _tail, " ", "_max: ", _max); _tail = 0;