On 07/04/2022 15:14, gabriel.moy...@dlr.de wrote:
In FreeBSD, it seems the sequence is sometimes incremented using a normal
increment, for example:
*pcount = pps->capcount;
(*pseq)++;
*tsp = ts;
So, just add the atomic_load_int() as an relaxed atomic load to the other
> On 07/04/2022 11:55, gabriel.moy...@dlr.de wrote:
> >> On 07/04/2022 10:36, Gabriel Moyano wrote:
> >>> ---
> >>>cpukit/include/sys/timepps.h | 4
> >>>cpukit/score/src/kern_tc.c | 7 +++
> >>>2 files changed, 11 insertions(+)
> >>>
> >>> diff --git a/cpukit/include/sys/timep
