Re: [PATCH 2/5 gnumach] pmap: Signal cpu for TLB update if kernel_pmap

[Samuel Thibault]

Applied, thanks!

Damien Zammit, le lun. 13 févr. 2023 08:49:45 +0000, a ecrit:
> ---
>  i386/intel/pmap.c | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
> index 0a805e4c..40ddcd6a 100644
> --- a/i386/intel/pmap.c
> +++ b/i386/intel/pmap.c
> @@ -3013,7 +3013,7 @@ void    signal_cpus(
>           cpu_update_needed[which_cpu] = TRUE;
>           simple_unlock(&update_list_p->lock);
> 
> -         if ((cpus_idle & (1 << which_cpu)) == 0)
> +         if (((cpus_idle & (1 << which_cpu)) == 0) || (pmap == kernel_pmap))
>               interrupt_processor(which_cpu);
>           use_list &= ~(1 << which_cpu);
>       }
> --
> 2.34.1
> 
> 
> 

-- 
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.