Applied, thanks!
Damien Zammit, le mar. 31 janv. 2023 09:37:28 +0000, a ecrit:
> ---
> linux/dev/kernel/sched.c | 3 +++
> 1 file changed, 3 insertions(+)
>
> diff --git a/linux/dev/kernel/sched.c b/linux/dev/kernel/sched.c
> index 2a9eeb3f..f9c52d1e 100644
> --- a/linux/dev/kernel/sched.c
> +++ b/linux/dev/kernel/sched.c
> @@ -616,6 +616,9 @@ int linux_timer_print = 0;
> void
> linux_timer_intr (void)
> {
> + if (cpu_number() != 0)
> + return;
> +
> (*(unsigned long *) &jiffies)++;
> mark_bh (TIMER_BH);
> if (tq_timer)
> --
> 2.34.1
>
>
>
--
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.
