pmap_activate() should match cpu_switchto, so set up ci_{kern,user}_cr3
authorguenther <guenther@openbsd.org>
Sun, 9 Sep 2018 22:46:54 +0000 (22:46 +0000)
committerguenther <guenther@openbsd.org>
Sun, 9 Sep 2018 22:46:54 +0000 (22:46 +0000)
commit992096868a823a7c114bd06fdc04d53751133290
treef5fdf917c389b1d1fbcfa8a9bbd69436ec85e9b8
parente4524f556962f5f1f175ad42f45ce9612f78a84b
pmap_activate() should match cpu_switchto, so set up ci_{kern,user}_cr3
if activating for the current thread and meltdown mitigations are in effect.
Not clear if it's actually possible to hit the case where this matters,
but it's the Right Thing.

ok mlarkin@
sys/arch/amd64/amd64/pmap.c