diff options
| -rw-r--r-- | sys/src/9/pc/mmu.c | 22 | ||||
| -rw-r--r-- | sys/src/9/port/portfns.h | 1 | ||||
| -rw-r--r-- | sys/src/9/port/proc.c | 11 |
3 files changed, 13 insertions, 21 deletions
diff --git a/sys/src/9/pc/mmu.c b/sys/src/9/pc/mmu.c index 383ba7d91..c9ff28abb 100644 --- a/sys/src/9/pc/mmu.c +++ b/sys/src/9/pc/mmu.c @@ -643,10 +643,7 @@ vmapalloc(ulong size) void vunmap(void *v, int size) { - int i; ulong va, o; - Mach *nm; - Proc *p; /* * might not be aligned @@ -675,25 +672,8 @@ vunmap(void *v, int size) putcr3(PADDR(MACHP(0)->pdb)); return; } - for(i=0; i<conf.nproc; i++){ - p = proctab(i); - if(p->state == Dead) - continue; - if(p != up) - p->newtlb = 1; - } - for(i=0; i<conf.nmach; i++){ - nm = MACHP(i); - if(nm != m) - nm->flushmmu = 1; - } + procflushothers(); flushmmu(); - for(i=0; i<conf.nmach; i++){ - nm = MACHP(i); - if(nm != m) - while(active.machs[nm->machno] && nm->flushmmu) - ; - } } /* diff --git a/sys/src/9/port/portfns.h b/sys/src/9/port/portfns.h index a37777c20..b460ec935 100644 --- a/sys/src/9/port/portfns.h +++ b/sys/src/9/port/portfns.h @@ -229,6 +229,7 @@ void procdump(void); int procfdprint(Chan*, int, char*, int); void procflushseg(Segment*); void procflushpseg(Physseg*); +void procflushothers(void); int procindex(ulong); void procinit0(void); ulong procpagecount(Proc*); diff --git a/sys/src/9/port/proc.c b/sys/src/9/port/proc.c index 8ea620a51..59fe9ecd9 100644 --- a/sys/src/9/port/proc.c +++ b/sys/src/9/port/proc.c @@ -1412,6 +1412,17 @@ procflushpseg(Physseg *ps) procflushmmu(matchpseg, ps); } +static int +matchother(Proc *p, void *a) +{ + return p != a; +} +void +procflushothers(void) +{ + procflushmmu(matchother, up); +} + void scheddump(void) { |