diff options
| -rw-r--r-- | sys/ia64/ia64/pmap.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/ia64/ia64/pmap.c b/sys/ia64/ia64/pmap.c index 94003f3eedfe..c76871ee5f3d 100644 --- a/sys/ia64/ia64/pmap.c +++ b/sys/ia64/ia64/pmap.c @@ -2558,8 +2558,9 @@ pmap_switch(pmap_t pm) (pm->pm_rid[i] << 8)|(PAGE_SHIFT << 2)|1); } atomic_set_32(&pm->pm_active, PCPU_GET(cpumask)); - PCPU_SET(current_pmap, pm); } + PCPU_SET(current_pmap, pm); + __asm __volatile("srlz.d"); return (prevpm); } |