[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 1/5 gnumach] pmap: Debug printf when pmap_update_interrupt ru
|
From: |
Samuel Thibault |
|
Subject: |
Re: [PATCH 1/5 gnumach] pmap: Debug printf when pmap_update_interrupt runs |
|
Date: |
Wed, 1 Feb 2023 18:59:27 +0100 |
|
User-agent: |
NeoMutt/20170609 (1.8.3) |
Applied, thanks!
Damien Zammit, le mer. 01 févr. 2023 10:05:39 +0000, a ecrit:
> ---
> i386/intel/pmap.c | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
> index 84a4cef5..0505cfa2 100644
> --- a/i386/intel/pmap.c
> +++ b/i386/intel/pmap.c
> @@ -2928,6 +2928,7 @@ void pmap_update_interrupt(void)
> int s;
>
> my_cpu = cpu_number();
> + printf("PMAP(%d)\n", my_cpu);
>
> /*
> * Exit now if we're idle. We'll pick up the update request
> --
> 2.34.1
>
>
>
--
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.