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
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/timepps.h
b/cpukit/include/sys/timepps.h i
> 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/timepps.h
> > b/cpukit/include/sys/timepps.h index 621afb08ec..5703381ffa 1
