Johannes Schlatow 47cb44c6eb os/trace_buffer.h: fix wraparound
If the buffer contains padding at the end, the iteration must continue
in order to restart iteration from the start of the buffer.

genodelabs/genode#4244
2022-02-15 10:20:59 +01:00
..
2021-12-17 15:04:45 +01:00
2021-12-17 15:04:45 +01:00
2020-07-13 11:33:13 +02:00
2021-12-17 15:04:45 +01:00
2021-12-17 15:04:45 +01:00
2017-03-24 16:19:56 +01:00
2022-02-15 10:17:28 +01:00
2019-01-30 13:49:54 +01:00
2021-12-17 15:04:45 +01:00
2021-12-17 15:04:45 +01:00
2021-06-25 11:41:45 +02:00
2021-12-17 15:04:45 +01:00
2021-12-17 15:04:45 +01:00
2020-04-17 12:40:12 +02:00
2022-02-15 10:20:59 +01:00
2021-12-17 15:04:45 +01:00
2021-12-17 15:04:45 +01:00
2021-12-17 15:04:45 +01:00