[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH gnumach] pmap: Add assert_splsched calls to ensure at SPL7
From: |
Samuel Thibault |
Subject: |
Re: [PATCH gnumach] pmap: Add assert_splsched calls to ensure at SPL7 |
Date: |
Fri, 23 Feb 2024 14:12:35 +0100 |
User-agent: |
NeoMutt/20170609 (1.8.3) |
Reworked a differnt way :)
Damien Zammit, le ven. 23 févr. 2024 08:14:32 +0000, a ecrit:
> ---
> i386/intel/pmap.c | 2 ++
> 1 file changed, 2 insertions(+)
>
> diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
> index e43b06c1..cf075a43 100644
> --- a/i386/intel/pmap.c
> +++ b/i386/intel/pmap.c
> @@ -3114,6 +3114,7 @@ void process_pmap_updates(pmap_t my_pmap)
> pmap_t pmap;
>
> update_list_p = &cpu_update_list[my_cpu];
> + assert_splsched();
> simple_lock_nocheck(&update_list_p->lock);
>
> for (j = 0; j < update_list_p->count; j++) {
> @@ -3128,6 +3129,7 @@ void process_pmap_updates(pmap_t my_pmap)
> }
> update_list_p->count = 0;
> cpu_update_needed[my_cpu] = FALSE;
> + assert_splsched();
> simple_unlock_nocheck(&update_list_p->lock);
> }
>
> --
> 2.43.0
>
>
>
--
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.