[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 12/12 gnumach] Debug printf when sending TLB IPI
From: |
Samuel Thibault |
Subject: |
Re: [PATCH 12/12 gnumach] Debug printf when sending TLB IPI |
Date: |
Tue, 31 Jan 2023 20:50:58 +0100 |
User-agent: |
NeoMutt/20170609 (1.8.3) |
Applied, thanks!
Damien Zammit, le mar. 31 janv. 2023 09:39:53 +0000, a ecrit:
> ---
> i386/i386/smp.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/i386/i386/smp.c b/i386/i386/smp.c
> index acf69d21..c6a62958 100644
> --- a/i386/i386/smp.c
> +++ b/i386/i386/smp.c
> @@ -53,7 +53,7 @@ void smp_pmap_update(unsigned apic_id)
>
> cpu_intr_save(&flags);
>
> - printf("Sending IPI(%u) to call TLB shootdown...", apic_id);
> + printf("IPI(%d>%u)\n", cpu_number(), apic_id);
> apic_send_ipi(NO_SHORTHAND, FIXED, PHYSICAL, ASSERT, EDGE,
> CALL_SINGLE_FUNCTION_BASE, apic_id);
>
> do {
> --
> 2.34.1
>
>
>
--
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.