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.
