Applied, thanks!
Damien Zammit, le sam. 05 août 2023 15:49:22 +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 9bcbc279..aa5522b3 100644
> --- a/i386/intel/pmap.c
> +++ b/i386/intel/pmap.c
> @@ -2462,6 +2462,7 @@ void pmap_collect(pmap_t p)
> /*
> * Free the page table tree.
> */
> + PMAP_READ_LOCK(p, spl);
> #if PAE
> #ifdef __x86_64__
> for (int l4i = 0; l4i < lin2l4num(VM_MAX_USER_ADDRESS); l4i++) {
> --
> 2.40.1
>
>
>
--
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.
