Re: [PATCH 1/5 gnumach] pmap: Debug printf when pmap_update_interrupt runs

Applied, thanks! Damien Zammit, le mer. 01 févr. 2023 10:05:39 +, 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 84a4cef5..0505cfa2 100644 > --- a/i386/intel/pmap.c > +++ b/i386/intel/pmap.c > @@ -2928,

[PATCH 1/5 gnumach] pmap: Debug printf when pmap_update_interrupt runs

--- i386/intel/pmap.c | 1 + 1 file changed, 1 insertion(+) diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 84a4cef5..0505cfa2 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -2928,6 +2928,7 @@ void pmap_update_interrupt(void) int s; my_cpu = cpu_nu