AW: [PATCH] kern_tc.c: Update pps_event() for uniprocessor configurations

2022-06-10 Thread Gabriel.Moyano
> On 10.06.22 09:20, Gabriel Moyano wrote: > > Since pps->capgen is not used in uniprocessor configurations, there is > > no need to verified if it is equal to zero > > The pps->capgen is used in uniprocessor configurations. The difference to the > SMP configuration is that zero is not a special

Re: [PATCH] kern_tc.c: Update pps_event() for uniprocessor configurations

2022-06-10 Thread Sebastian Huber
On 10.06.22 09:20, Gabriel Moyano wrote: Since pps->capgen is not used in uniprocessor configurations, there is no need to verified if it is equal to zero The pps->capgen is used in uniprocessor configurations. The difference to the SMP configuration is that zero is not a special value. --

[PATCH] kern_tc.c: Update pps_event() for uniprocessor configurations

2022-06-10 Thread Gabriel Moyano
Since pps->capgen is not used in uniprocessor configurations, there is no need to verified if it is equal to zero Update #2349 --- cpukit/score/src/kern_tc.c | 6 ++ 1 file changed, 6 insertions(+) diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c index 92739d8edd..78d7fa

Re: AW: AW: AW: AW: [PATCH] kern_tc.c: Update pps_event() for uniprocessor configurations

2022-06-10 Thread Sebastian Huber
On 10.06.22 09:09, gabriel.moy...@dlr.de wrote: On 08.06.22 09:54,gabriel.moy...@dlr.de wrote: I don't know why there is this "if" in the code. I will ask on a FreeBSD mailing list. I think it is for the case that th_generation has changed in between saving the th and th_counter. If this h

AW: AW: AW: AW: [PATCH] kern_tc.c: Update pps_event() for uniprocessor configurations

2022-06-10 Thread Gabriel.Moyano
> On 08.06.22 09:54, gabriel.moy...@dlr.de wrote: > >> I don't know why there is this "if" in the code. I will ask on a > >> FreeBSD mailing list. > >> > > I think it is for the case that th_generation has changed in > > between saving the th and th_counter. If this happens pps

Re: AW: AW: AW: [PATCH] kern_tc.c: Update pps_event() for uniprocessor configurations

2022-06-09 Thread Sebastian Huber
On 08.06.22 09:54, gabriel.moy...@dlr.de wrote: I don't know why there is this "if" in the code. I will ask on a FreeBSD mailing list. I think it is for the case that th_generation has changed in between saving the th and th_counter. If this happens pps->capgen is set to 0 and later pps_event(

AW: AW: AW: [PATCH] kern_tc.c: Update pps_event() for uniprocessor configurations

2022-06-08 Thread Gabriel.Moyano
> I don't know why there is this "if" in the code. I will ask on a FreeBSD > mailing list. > > >>> I think it is for the case that th_generation has changed in between > >>> saving the th and th_counter. If this happens pps->capgen is set to > >>> 0 and later pps_event() returns ear

Re: AW: AW: [PATCH] kern_tc.c: Update pps_event() for uniprocessor configurations

2022-06-01 Thread Sebastian Huber
On 01/06/2022 11:19, gabriel.moy...@dlr.de wrote: On 01/06/2022 08:55,gabriel.moy...@dlr.de wrote: On 30/05/2022 09:29, Gabriel Moyano wrote: Since pps->capgen is not used in uniprocessor configurations, there is no need to verified if it is equal to zero Update #2349 --- cpukit/score/src

AW: AW: [PATCH] kern_tc.c: Update pps_event() for uniprocessor configurations

2022-06-01 Thread Gabriel.Moyano
> On 01/06/2022 08:55, gabriel.moy...@dlr.de wrote: > >> On 30/05/2022 09:29, Gabriel Moyano wrote: > >>> Since pps->capgen is not used in uniprocessor configurations, there > >>> is no need to verified if it is equal to zero > >>> > >>> Update #2349 > >>> --- > >>>cpukit/score/src/kern_tc.c |

Re: AW: [PATCH] kern_tc.c: Update pps_event() for uniprocessor configurations

2022-06-01 Thread Sebastian Huber
On 01/06/2022 08:55, gabriel.moy...@dlr.de wrote: On 30/05/2022 09:29, Gabriel Moyano wrote: Since pps->capgen is not used in uniprocessor configurations, there is no need to verified if it is equal to zero Update #2349 --- cpukit/score/src/kern_tc.c | 4 1 file changed, 4 insertions(

AW: [PATCH] kern_tc.c: Update pps_event() for uniprocessor configurations

2022-05-31 Thread Gabriel.Moyano
> On 30/05/2022 09:29, Gabriel Moyano wrote: > > Since pps->capgen is not used in uniprocessor configurations, there is > > no need to verified if it is equal to zero > > > > Update #2349 > > --- > > cpukit/score/src/kern_tc.c | 4 > > 1 file changed, 4 insertions(+) > > > > diff --git a/cp

Re: [PATCH] kern_tc.c: Update pps_event() for uniprocessor configurations

2022-05-31 Thread Sebastian Huber
On 30/05/2022 09:29, Gabriel Moyano wrote: Since pps->capgen is not used in uniprocessor configurations, there is no need to verified if it is equal to zero Update #2349 --- cpukit/score/src/kern_tc.c | 4 1 file changed, 4 insertions(+) diff --git a/cpukit/score/src/kern_tc.c b/cpukit

[PATCH] kern_tc.c: Update pps_event() for uniprocessor configurations

2022-05-30 Thread Gabriel Moyano
Since pps->capgen is not used in uniprocessor configurations, there is no need to verified if it is equal to zero Update #2349 --- cpukit/score/src/kern_tc.c | 4 1 file changed, 4 insertions(+) diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c index 92739d8edd..897f8151