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

Applied, thanks! Damien Zammit, le lun. 13 févr. 2023 08:49:45 +, 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/p

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

--- 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 @@ voidsignal_cpus( cpu_update_needed[which_cpu] = TRUE