[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH gnumach] cpu_number: Fix missing return
From: |
Samuel Thibault |
Subject: |
Re: [PATCH gnumach] cpu_number: Fix missing return |
Date: |
Sat, 4 Feb 2023 14:28:51 +0100 |
User-agent: |
NeoMutt/20170609 (1.8.3) |
Applied, thanks!
Damien Zammit, le sam. 04 févr. 2023 10:13:59 +0000, a ecrit:
> ---
> i386/i386/cpu_number.c | 2 ++
> 1 file changed, 2 insertions(+)
>
> diff --git a/i386/i386/cpu_number.c b/i386/i386/cpu_number.c
> index ad4c4b01..42aa6ea1 100644
> --- a/i386/i386/cpu_number.c
> +++ b/i386/i386/cpu_number.c
> @@ -36,5 +36,7 @@ int cpu_number(void)
> printf("apic_get_cpu_kernel_id() failed, assuming BSP\n");
> kernel_id = 0;
> }
> +
> + return kernel_id;
> }
> #endif
> --
> 2.34.1
>
>
>
--
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.